@misc{indiciaed2d90cc3fb30,
  title = {A Rigorous Analysis of AODV and its Variants},
  author = {Peter Höfner and Rob van Glabbeek and Wee Lum Tan and Marius Portmann and Annabelle McIver and Ansgar Fehnker},
  year = {2015},
  doi = {10.1145/2387238.2387274},
  url = {https://arxiv.org/abs/1512.08873},
  note = {Source identifier: 1512.08873}
}