TY - RPRT TI - Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol AU - Kaylash Chaudhary AU - Ansgar Fehnker AU - Vinay Mehta PY - 2017 DO - 10.4204/eptcs.244.3 UR - https://arxiv.org/abs/1703.06570 ID - 1703.06570 ER -