Automated Analysis of AODV Using UPPAAL.

Ansgar Fehnker, Rob J. van Glabbeek, Peter Hfner, Annabelle McIver, Marius Portmann, Wee Lum Tan

Browse the full TACAS paper archive.