External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On the Verification of Timed Ad Hoc Networks

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]

Authors

Parosh Aziz Abdulla

This author has not been identified. Look up 'Parosh Aziz Abdulla' in Google

Giorgio Delzanno

This author has not been identified. Look up 'Giorgio Delzanno' in Google

Othmane Rezine

This author has not been identified. Look up 'Othmane Rezine' in Google

Arnaud Sangnier

This author has not been identified. Look up 'Arnaud Sangnier' in Google

Riccardo Traverso

This author has not been identified. Look up 'Riccardo Traverso' in Google
runs on