TY  - RPRT
TI  - Parameterized Verification of Systems with Global Synchronization and Guards
AU  - Nouraldin Jaber
AU  - Swen Jacobs
AU  - Christopher Wagner
AU  - Milind Kulkarni
AU  - Roopsha Samanta
PY  - 2021
DO  - 10.1007/978-3-030-53288-8_15
UR  - https://arxiv.org/abs/2004.04896
ID  - 2004.04896
ER  -