Back to Results
First PageMeta Content
Timed automaton / Base / Topology / Routing algorithms / Network theory


On the Verification of Timed Ad Hoc Networks Parosh Aziz Abdulla1 , Giorgio Delzanno2 , Othmane Rezine1 , Arnaud Sangnier3⋆ , and Riccardo Traverso2 1 Uppsala University
Add to Reading List

Document Date: 2012-11-13 20:01:41


Open Document

File Size: 268,40 KB

Share Result on Facebook
UPDATE