👤 Daniel Camara and Antonio Alfredo Ferreira Loureiro

Formal Verification of Communication Protocols for Wireless Networks. A simple and efficient methodology for formal verification of wireless networks communication protocols. Daniel Camara and Antonio Alfredo Ferreira Loureiro