Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".

Detalhes bibliográficos
Data de Publicação: 1995
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_93b34a37db15f2583a977278e1ca0d26
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
spellingShingle Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title_short Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title_full Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title_fullStr Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title_full_unstemmed Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
title_sort Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".
publishDate 1995
format masterThesis
author_role author
dc.contributor.advisor1.fl_str_mv SERGIO VIANNA FIALHO
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8215124502137579
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
instname_str UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".Uma Ferramenta para a Verificacao Formal de Propriedades de Especificacoes "LOTOS".1995masterThesisauthorSERGIO VIANNA FIALHOhttp://lattes.cnpq.br/8215124502137579UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEUNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTEPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
_version_ 1741884705080344576

Registros relacionados