Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Daniel Câmara' in GoogleThis author has not been identified. Look up 'Antonio Alfredo Ferreira Loureiro' in GoogleThis author has not been identified. Look up 'Fethi Filali' in Google

runs on WebDSL