Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks.

A. R. Balasubramanian, Nathalie Bertrand, Nicolas Markey

Browse the full TACAS paper archive.