"Parameterized verification of time-sensitive models of ad hoc network ..."

Parosh Aziz Abdulla et al. (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics