@inproceedings{Hoefner_McIver_13,
    address          = {Moffett Field, CA, USA},
    author           = {H\"ofner, Peter and McIver, Annabelle},
    booktitle        = {5th NASA Formal Methods Symposium (NFM 2013)},
    editor           = {{G. Brat, N. Rungta, and A. Venet}},
    keywords         = {statistical model checking; wireless routing protocols; quantitative analysis},
    month            = may,
    pages            = {15},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6542.pdf},
    publisher        = {Springer},
    title            = {Statistical Model Checking of Wireless Mesh Routing Protocols},
    year             = {2013}
  }