[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]
|
pdf (241 KB)
bib