Verificação Formal de Protocolos para Redes sem Fio
Principais autores: | , |
---|---|
Data de Publicação: | 2009 |
Tipo de documento: | Tese |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_9d4260329e07d9e48a3b8f611830e34d |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Verificação Formal de Protocolos para Redes sem Fio |
title |
Verificação Formal de Protocolos para Redes sem Fio |
spellingShingle |
Verificação Formal de Protocolos para Redes sem Fio DANIEL CAMARA Alberto Frade Laender |
title_short |
Verificação Formal de Protocolos para Redes sem Fio |
title_full |
Verificação Formal de Protocolos para Redes sem Fio |
title_fullStr |
Verificação Formal de Protocolos para Redes sem Fio Verificação Formal de Protocolos para Redes sem Fio |
title_full_unstemmed |
Verificação Formal de Protocolos para Redes sem Fio Verificação Formal de Protocolos para Redes sem Fio |
title_sort |
Verificação Formal de Protocolos para Redes sem Fio |
publishDate |
2009 |
format |
doctoralThesis |
author_role |
author |
author |
DANIEL CAMARA Alberto Frade Laender |
author_facet |
DANIEL CAMARA Alberto Frade Laender |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/2213906394405222 http://lattes.cnpq.br/9089204821424223 |
dc.contributor.advisor1.fl_str_mv |
Antonio Alfredo Ferreira Loureiro |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/8886634592087842 |
dc.contributor.advisor1orcid.por.fl_str_mv |
https://orcid.org/0000000252501785 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE MINAS GERAIS |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE MINAS GERAIS |
instname_str |
UNIVERSIDADE FEDERAL DE MINAS GERAIS |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem FioVerificação Formal de Protocolos para Redes sem Fio2009doctoralThesisauthorDANIEL CAMARAhttp://lattes.cnpq.br/2213906394405222Antonio Alfredo Ferreira Loureirohttp://lattes.cnpq.br/8886634592087842https://orcid.org/0000000252501785UNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISUNIVERSIDADE FEDERAL DE MINAS GERAISPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
CAMARA, DANIEL. Verificação Formal de Protocolos para Redes sem Fio. 2009. Tese. |
dc.identifier.citation.fl_str_mv |
CAMARA, DANIEL. Verificação Formal de Protocolos para Redes sem Fio. 2009. Tese. |
_version_ |
1741882706598297600 |