@misc{indiciaea2bb32e98343,
  title = {A Process Algebra for Wireless Mesh Networks used for Modelling, Verifying and Analysing AODV},
  author = {Ansgar Fehnker and Rob van Glabbeek and Peter Höfner and Annabelle McIver and Marius Portmann and Wee Lum Tan},
  year = {2013},
  url = {https://arxiv.org/abs/1312.7645},
  note = {Source identifier: 1312.7645}
}