![Timed automaton / Base / Topology / Routing algorithms / Network theory Timed automaton / Base / Topology / Routing algorithms / Network theory](https://www.pdfsearch.io/img/6c25476288326cc85e9f52cbdb018efe.jpg) Date: 2012-11-13 20:01:41Timed 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 UniversityAdd to Reading ListSource URL: verify.disi.unige.itDownload Document from Source Website File Size: 268,40 KBShare Document on Facebook
|