Nouraldin Jaber, Swen Jacobs, Christopher Wagner, Milind Kulkarni 0001, Roopsha Samanta. Parameterized Verification of Systems with Global Synchronization and Guards. In Shuvendu K. Lahiri, Chao Wang 0001, editors, Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Volume 12224 of Lecture Notes in Computer Science, pages 299-323, Springer, 2020. [doi]
Abstract is missing.