@inproceedings{Hfner_Edenhofer_12,
    address          = {Austin, Texas},
    author           = {H\"ofner, Peter and Edenhofer, Sarah},
    booktitle        = {2nd International Workshop on Rigorous Protocol Engineering (WRiPE 2012)},
    keywords         = {dymo, aodvv2, mesh network},
    month            = oct,
    pages            = {1--6},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6169.pdf},
    publisher        = {IEEE},
    title            = {Towards a Rigorous Analysis of {AODVv2} ({DYMO})},
    year             = {2012}
  }