@InProceedings{CK03b,
author={S. Chiyangwa and M. Kwiatkowska},
title={Modelling Ad Hoc On-Demand Distance Vector ({AODV}) protocol with Timed Automata},
booktitle={Proc. 3rd Workshop on Automated Verification of Critical Systems (AVoCS'03)},
year={2003},

editor={M. Leuschel and S. Gruner and S. Lo Presti},
pages={},
organization={},
publisher={},
series={Technical Report DSSE-TR-2003-2, University of Southampton},
volume={},
address={},
month={April},
note={},
key={}
}