Daniel Câmara. Formal verification of communication protocols for wireless networks. PhD thesis, Federal University of Minas Gerais, Brazil, 2009. [doi]
@phdthesis{ndltd-3323,
title = {Formal verification of communication protocols for wireless networks},
author = {Daniel Câmara},
year = {2009},
url = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_UFMG:oai:bibliotecadigital.ufmg.br:MTD2BR-SLSS-7XGGPD},
note = {ndltd.org (oai:agregador.ibict.br.BDTD_UFMG:oai:bibliotecadigital.ufmg.br:MTD2BR-SLSS-7XGGPD)},
researchr = {https://researchr.org/publication/ndltd-3323},
cites = {0},
citedby = {0},
school = {Federal University of Minas Gerais, Brazil},
}