Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks

D. Camara, A. A. F. Loureiro, F. Filali
2007 IEEE GLOBECOM 2007-2007 IEEE Global Telecommunications Conference  
doi:10.1109/glocom.2007.137 dblp:conf/globecom/CamaraLF07 fatcat:rrfb6wgggrbxvh3hisr6mwpi5u