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