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.

Parameterized Verification of Ad Hoc Networks

Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro. Parameterized Verification of Ad Hoc Networks. In Paul Gastin, François Laroussinie, editors, CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings. Volume 6269 of Lecture Notes in Computer Science, pages 313-327, Springer, 2010. [doi]

Authors

Giorgio Delzanno

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

Arnaud Sangnier

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

Gianluigi Zavattaro

This author has not been identified. Look up 'Gianluigi Zavattaro' in Google
runs on