First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 268,40 KBShare Document on Facebook |