A Timing Analysis of AODV. - Sibusisiwe Chiyangwa; Marta Z. Kwiatkowska (FMOODS, 2005)

Analysing timed properties of ad hoc network protocols via model checking. - Sibusisiwe Chiyangwa (2005)