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]
@inproceedings{CamaraLF07,
title = {Methodology for Formal Verification of Routing Protocols for Ad Hoc Wireless Networks},
author = {Daniel Câmara and Antonio Alfredo Ferreira Loureiro and Fethi Filali},
year = {2007},
doi = {10.1109/GLOCOM.2007.137},
url = {http://dx.doi.org/10.1109/GLOCOM.2007.137},
tags = {protocol, routing},
researchr = {https://researchr.org/publication/CamaraLF07},
cites = {0},
citedby = {0},
pages = {705-709},
booktitle = {Proceedings of the Global Communications Conference, 2007. GLOBECOM 07, Washington, DC, USA, 26-30 November 2007},
publisher = {IEEE},
}