70101807

a

70101807 Benetti, Davide Merro, Massimo Vigan\`o, Luca Model checking ad hoc network routing protocols: ARAN vs. Endaira SEFM, 191-202 (2010). 2010 EN

doi:10.1109/SEFM.2010.24