Stem aodv$ (all stems)
2 papers:
TACAS-2012-FehnkerGHMPT #analysis #automation #using
- Automated Analysis of AODV Using UPPAAL (AF, RJvG, PH, AM, MP, WLT), pp. 173–187.
SAC-2002-WangHTN #ad hoc #network
- AODV compatible routing with extensive use of cache information in ad-hoc networks (WGW, TH, MT, SN), pp. 852–859.