@inproceedings{Hoefner_Kamali_13,
    address          = {Buenos Aires, Argentina},
    author           = {H\"ofner, Peter and Kamali, Maryam},
    booktitle        = {International Conference on Formal Modeling and Analysis of Timed Systems},
    editor           = {{V. Braberman and L. Fribourg}},
    keywords         = {statistical model checking; wireless mesh networks; routing protocols; quantitative analysis; case
                        study},
    month            = aug,
    pages            = {15},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6678.pdf},
    publisher        = {Springer},
    title            = {Quantitative Analysis of {AODV} and its Variants on Dynamic Topologies using Statistical Model
                        Checking},
    year             = {2013}
  }