Jensen, P G, Schmid, S, Schou, M K, Srba, J, Vanerio, J & Duijn, I V 2021, Faster Pushdown Reachability Analysis with Applications in Network Verification . in Z Hou & V Ganesh (eds), Automated Technology for Verification and Analysis : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12971 LNCS, pp. 170-186, 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, Virtual, Online, 18/10/2021 . https://doi.org/10.1007/978-3-030-88885-5_12