Peter Höfner, Maryam Kamali. Quantitative Analysis of AODV and Its Variants on Dynamic Topologies Using Statistical Model Checking. In Víctor A. Braberman, Laurent Fribourg, editors, Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Volume 8053 of Lecture Notes in Computer Science, pages 121-136, Springer, 2013. [doi]
Abstract is missing.