@article{vanGlabbeek_HPT_16,
    author           = {van Glabbeek, Robert and H\"ofner, Peter and Portmann, Marius and Tan, Wee Lum},
    doi              = {10.1007/s00446-015-0262-7},
    journal          = {Distributed Computing},
    keywords         = {wireless mesh networks; mobile ad-hoc networks; routing protocols; aodv; process algebra; awn; loop
                        freedom},
    month            = aug,
    number           = {4},
    pages            = {279--315},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8491.pdf},
    title            = {Modelling and Verifying the {AODV} Routing Protocol},
    volume           = {29},
    year             = {2016}
  }