The Cost of Parameterized Reachability in Mobile Ad Hoc Networks
['Giorgio Delzanno', 'Arnaud Sangnier', 'Riccardo Traverso', 'Gianluigi Zavattaro']
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks