Oxford logo
[CK05b] S. Chiyangwa and M. Kwiatkowska. A Timing Analysis of AODV. In Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05), volume 3535 of Lecture Notes in Computer Science, pages 306-322, Springer. 2005. [pdf] [bib]
Downloads:  pdf pdf (241 KB)  bib bib
Notes: The original publication is available at www.springerlink.com.

QAV:

Home

People

Projects

Publications