Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade

Detalhes bibliográficos
Ano de defesa: 2009
Autor(a) principal: Neves, Júlio César Vale
Outros Autores: Song, Mark Alan Junho, 2009-03-27
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa:
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Algoritmos -
Algorítmos computacionais -
Programas de computador
Link de acesso: http://bib.pucminas.br/teses/Informatica_NevesJC_1.pdf
id PUC_MINS_586d753be13de8e16b3f1d19226fbfb7
oai_identifier_str oai:/ibict:perga-oai/379574
network_acronym_str PUC_MINS
network_name_str Biblioteca Digital de Teses e Dissertações da PUC_MG
repository_id_str
spelling Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidadeAlgoritmos -Algorítmos computacionais -Programas de computador2009-03-27info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesishttp://bib.pucminas.br/teses/Informatica_NevesJC_1.pdfporhttp://bib.pucminas.br/teses/Informatica_NevesJC_1.pdfinfo:eu-repo/semantics/openAccessNeves, Júlio César ValeSong, Mark Alan Junho2009-03-27reponame:Biblioteca Digital de Teses e Dissertações da PUC_MGinstname:Pontifícia Universidade Católica de Minas Gerais (PUC Minas)instacron:PUC_MINS2024-01-08T16:22:31Zoai:/ibict:perga-oai/379574Biblioteca Digital de Teses e Dissertaçõeshttps://web.sistemas.pucminas.br/BDP/PUC%20MinasPRIhttp://bib.pucminas.br/pergamum/oai/oai2.phpbib@pucminas.br||bibpt@pucminas.bropendoar:2024-01-08T16:22:31Biblioteca Digital de Teses e Dissertações da PUC_MG - Pontifícia Universidade Católica de Minas Gerais (PUC Minas)false
dc.title.none.fl_str_mv Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
title Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
spellingShingle Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
Neves, Júlio César Vale
Algoritmos -
Algorítmos computacionais -
Programas de computador
title_short Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
title_full Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
title_fullStr Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
title_full_unstemmed Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
title_sort Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
author Neves, Júlio César Vale
author_facet Neves, Júlio César Vale
Song, Mark Alan Junho
2009-03-27
author_role author
author2 Song, Mark Alan Junho
2009-03-27
author2_role author
author
dc.contributor.author.fl_str_mv Neves, Júlio César Vale
Song, Mark Alan Junho
2009-03-27
dc.subject.por.fl_str_mv Algoritmos -
Algorítmos computacionais -
Programas de computador
topic Algoritmos -
Algorítmos computacionais -
Programas de computador
publishDate 2009
dc.date.none.fl_str_mv 2009-03-27
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://bib.pucminas.br/teses/Informatica_NevesJC_1.pdf
url http://bib.pucminas.br/teses/Informatica_NevesJC_1.pdf
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv http://bib.pucminas.br/teses/Informatica_NevesJC_1.pdf
dc.rights.none.fl_str_mv
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv
publisher.none.fl_str_mv
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da PUC_MG
instname:Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
instacron:PUC_MINS
instname_str Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
instacron_str PUC_MINS
institution PUC_MINS
reponame_str Biblioteca Digital de Teses e Dissertações da PUC_MG
collection Biblioteca Digital de Teses e Dissertações da PUC_MG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da PUC_MG - Pontifícia Universidade Católica de Minas Gerais (PUC Minas)
repository.mail.fl_str_mv bib@pucminas.br||bibpt@pucminas.br
_version_ 1862549275974565888

Registros relacionados