@misc{indiciae0e740c8d925d,
  title = {Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol},
  author = {Kaylash Chaudhary and Ansgar Fehnker and Vinay Mehta},
  year = {2017},
  doi = {10.4204/eptcs.244.3},
  url = {https://arxiv.org/abs/1703.06570},
  note = {Source identifier: 1703.06570}
}