DMCA

Considering Time in the Verification of Parameterized Ad Hoc Networks

by Parosh Aziz Abdulla , Giorgio Delzanno , Othmane Rezine , Riccardo Traverso