%0 Conference Proceedings
%F balasubramanian:hal-01889046
%A Balasubramanian, A.R.
%A Bertrand, N.
%A Markey, N.
%T {Parameterized verification of synchronization in constrained reconfigurable broadcast networks}
%B {TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems}
%P 38-54
%I {Springer}
%C Thessaloniki, Greece
%U https://hal.archives-ouvertes.fr/hal-01889046/file/tacas2018-2-BBM.pdf
%U http://dx.doi.org/10.1007/978-3-319-89963-3\_3
%8 April
%D 2018