Verificação de Modelos em Redes de Petri Orientadas a Objetos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2004 |
Tipo de documento: | Dissertação |
Título da fonte: | Portal de Dados Abertos da CAPES |
id |
BRCRIS_ef5e2e86a5d4c58e5cb68b5a21d9a44f |
---|---|
network_acronym_str |
CAPES |
network_name_str |
Portal de Dados Abertos da CAPES |
dc.title.pt-BR.fl_str_mv |
Verificação de Modelos em Redes de Petri Orientadas a Objetos |
title |
Verificação de Modelos em Redes de Petri Orientadas a Objetos |
spellingShingle |
Verificação de Modelos em Redes de Petri Orientadas a Objetos CASSIO LEONARDO RODRIGUES |
title_short |
Verificação de Modelos em Redes de Petri Orientadas a Objetos |
title_full |
Verificação de Modelos em Redes de Petri Orientadas a Objetos |
title_fullStr |
Verificação de Modelos em Redes de Petri Orientadas a Objetos Verificação de Modelos em Redes de Petri Orientadas a Objetos |
title_full_unstemmed |
Verificação de Modelos em Redes de Petri Orientadas a Objetos Verificação de Modelos em Redes de Petri Orientadas a Objetos |
title_sort |
Verificação de Modelos em Redes de Petri Orientadas a Objetos |
publishDate |
2004 |
format |
masterThesis |
author_role |
author |
author |
CASSIO LEONARDO RODRIGUES |
author_facet |
CASSIO LEONARDO RODRIGUES |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/2590620617848677 |
dc.contributor.advisor1.fl_str_mv |
Eliane Cristina de Araújo |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/1424808046858622 |
dc.publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE CAMPINA GRANDE |
publisher.none.fl_str_mv |
UNIVERSIDADE FEDERAL DE CAMPINA GRANDE |
instname_str |
UNIVERSIDADE FEDERAL DE CAMPINA GRANDE |
reponame_str |
Portal de Dados Abertos da CAPES |
collection |
Portal de Dados Abertos da CAPES |
spelling |
CAPESPortal de Dados Abertos da CAPESVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a ObjetosVerificação de Modelos em Redes de Petri Orientadas a Objetos2004masterThesisauthorCASSIO LEONARDO RODRIGUEShttp://lattes.cnpq.br/2590620617848677Eliane Cristina de Araújohttp://lattes.cnpq.br/1424808046858622UNIVERSIDADE FEDERAL DE CAMPINA GRANDEUNIVERSIDADE FEDERAL DE CAMPINA GRANDEUNIVERSIDADE FEDERAL DE CAMPINA GRANDEPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES |
identifier_str_mv |
RODRIGUES, CASSIO LEONARDO. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Tese. |
dc.identifier.citation.fl_str_mv |
RODRIGUES, CASSIO LEONARDO. Verificação de Modelos em Redes de Petri Orientadas a Objetos. 2004. Tese. |
_version_ |
1741883565904232448 |