TY  - RPRT
TI  - Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
AU  - Benjamin Aminof
AU  - Sasha Rubin
AU  - Francesco Spegni
AU  - Florian Zuleger
PY  - 2025
DO  - 10.46298/lmcs-21(2:27)2025
UR  - https://arxiv.org/abs/2310.02466
ID  - 2310.02466
ER  -