Daniel Câmara

Formal verification of communication protocols for wireless networks.
. Federal University of Minas Gerais, Brazil, (2009)ndltd.org (oai:agregador.ibict.br.BDTD_UFMG:oai:bibliotecadigital.ufmg.br:MTD2BR-SLSS-7XGGPD).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found