TY - RPRT TI - A Rigorous Analysis of AODV and its Variants AU - Peter Höfner AU - Rob van Glabbeek AU - Wee Lum Tan AU - Marius Portmann AU - Annabelle McIver AU - Ansgar Fehnker PY - 2015 DO - 10.1145/2387238.2387274 UR - https://arxiv.org/abs/1512.08873 ID - 1512.08873 ER -