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]
No references recorded for this publication.
No citations of this publication recorded.