@inproceedings{Hfner_GTPMF_12,
    publisher        = {ACM},
    doi              = {10.1145/2387238.2387274},
    month            = oct,
    booktitle        = {15th ACM/IEEE International Conference on Modelling, Analysis and Simulation of Wireless and Mobile
                        Systems (MSWIM 2012)},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4911.pdf},
    year             = {2012},
    editor           = {{A.Y. Zomaya, B. Landfeldt and R. Prakash}},
    keywords         = {aodv; loop freedom; process algebra; routing protocols; wireless mesh networks},
    title            = {A Rigorous Analysis of {AODV} and its Variants},
    pages            = {203--212},
    author           = {H\"ofner, Peter and van Glabbeek, Robert and Tan, Wee Lum and Portmann, Marius and McIver, Annabelle
                        and Fehnker, Ansgar},
    address          = {Paphos, Cyprus}
  }