Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle. Verification of Concurrent Programs Using Petri Net Unfoldings. In Fritz Henglein, Sharon Shoham, Yakir Vizel, editors, Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings. Volume 12597 of Lecture Notes in Computer Science, pages 174-195, Springer, 2021. [doi]
Abstract is missing.