Daniel Câmara, Antonio Alfredo Ferreira Loureiro, Fethi Filali. Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks. In Proceedings of the Global Communications Conference, 2007. GLOBECOM 07, Washington, DC, USA, 26-30 November 2007. pages 705-709, IEEE, 2007. [doi]