@misc{indiciae1a074a4fdb9d,
  title = {A mechanized proof of loop freedom of the (untimed) AODV routing protocol},
  author = {Timothy Bourke and Robert J. van Glabbeek and Peter Höfner},
  year = {2015},
  doi = {10.1007/978-3-319-11936-6\_5},
  url = {https://arxiv.org/abs/1505.05646},
  note = {Source identifier: 1505.05646}
}