Plan existence verification as symbolic model checking

Detalhes bibliográficos
Autor(a) principal: Barros, Leliane Nunes de
Data de Publicação: 2018
Tipo de documento: Artigo de conferência
Idioma: por
Título da fonte: Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Texto Completo: https://doi.org/10.5753/eniac.2018.4409
id USP-2_0cdee0ef088dea6927da7deb5c64f922
oai_identifier_str 002917900
network_acronym_str USP-2
network_name_str Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
repository_id_str 2721
spelling Plan existence verification as symbolic model checkingPROGRAMAÇÃO HEURÍSTICA2018info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/conferenceObjecthttps://doi.org/10.5753/eniac.2018.4409https:/directbitstream/f7e21c9f-4666-49c1-9319-af14d61b88ff/Barros, Leliane Nunes deporreponame:Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)instname:Universidade de São Paulo (USP)instacron:USPinfo:eu-repo/semantics/openAccess2024-06-17T14:35:00Z002917900Repositório InstitucionalPUBhttp://www.producao.usp.br/oai/requestopendoar:27212024-06-17T14:35Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Plan existence verification as symbolic model checking
title Plan existence verification as symbolic model checking
spellingShingle Plan existence verification as symbolic model checking
Barros, Leliane Nunes de
PROGRAMAÇÃO HEURÍSTICA
title_short Plan existence verification as symbolic model checking
title_full Plan existence verification as symbolic model checking
title_fullStr Plan existence verification as symbolic model checking
title_full_unstemmed Plan existence verification as symbolic model checking
title_sort Plan existence verification as symbolic model checking
author Barros, Leliane Nunes de
author_facet Barros, Leliane Nunes de
author_role author
dc.contributor.author.fl_str_mv Barros, Leliane Nunes de
dc.subject.por.fl_str_mv PROGRAMAÇÃO HEURÍSTICA
topic PROGRAMAÇÃO HEURÍSTICA
publishDate 2018
dc.date.none.fl_str_mv 2018
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/conferenceObject
format conferenceObject
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://doi.org/10.5753/eniac.2018.4409
url https://doi.org/10.5753/eniac.2018.4409
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https:/directbitstream/f7e21c9f-4666-49c1-9319-af14d61b88ff/
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
collection Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
repository.name.fl_str_mv Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP)
repository.mail.fl_str_mv
_version_ 1809091422771478528

Registros relacionados