TY  - RPRT
TI  - Parameterized verification of synchronization in constrained reconfigurable broadcast networks
AU  - A. R. Balasubramanian
AU  - Nathalie Bertrand
AU  - Nicolas Markey
PY  - 2018
UR  - https://arxiv.org/abs/1802.08469
ID  - 1802.08469
ER  -