@InProceedings{CK05b,
author={S. Chiyangwa and M. Kwiatkowska},
title={A Timing Analysis of {AODV}},
booktitle={Proc. 7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'05)},
year={2005},

editor={},
pages={306-322},
organization={},
publisher={Springer},
series={Lectur Notes in Computer Science},
volume={3535},
address={},
month={},
note={},
key={}
}