@inproceedings{vanGlabbeek_HTP_13,
    address          = {Barcelona, Spain},
    author           = {van Glabbeek, Robert and H\"ofner, Peter and Tan, Wee Lum and Portmann, Marius},
    booktitle        = {16th ACM International Conference on Modeling, Analysis and Simulation of Wireless and Mobile
                        Systems},
    doi              = {10.1145/2507924.2507943},
    keywords         = {wireless mesh networks; mobile ad-hoc networks; loop freedom; routing protocols; aodv; process
                        algebra.},
    month            = nov,
    pages            = {91--100},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7276.pdf},
    publisher        = {ACM},
    title            = {Sequence Numbers Do Not Guarantee Loop Freedom --- {AODV} Can Yield Routing Loops},
    year             = {2013}
  }