Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso. On the Verification of Timed Ad Hoc Networks. In Uli Fahrenberg, Stavros Tripakis, editors, Formal Modeling and Analysis of Timed Systems - 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Volume 6919 of Lecture Notes in Computer Science, pages 256-270, Springer, 2011. [doi]
Abstract is missing.