Alice Dal Corso, Damiano Macedonio, Massimo Merro. Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks. In Klaus Havelund, Gerard J. Holzmann, Rajeev Joshi, editors, NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings. Volume 9058 of Lecture Notes in Computer Science, pages 112-126, Springer, 2015. [doi]
@inproceedings{CorsoMM15,
title = {Statistical Model Checking of Ad Hoc Routing Protocols in Lossy Grid Networks},
author = {Alice Dal Corso and Damiano Macedonio and Massimo Merro},
year = {2015},
doi = {10.1007/978-3-319-17524-9_9},
url = {http://dx.doi.org/10.1007/978-3-319-17524-9_9},
researchr = {https://researchr.org/publication/CorsoMM15},
cites = {0},
citedby = {0},
pages = {112-126},
booktitle = {NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings},
editor = {Klaus Havelund and Gerard J. Holzmann and Rajeev Joshi},
volume = {9058},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-17523-2},
}