Extensões de lógica Proposicional dinâmica para Redes de Petri.
B. Vieira. Pontifical Catholic University of Rio de Janeiro, Brazil, (2014)ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24052).
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Thesis
%1 phd/ndltd/Vieira14
%A Vieira, Bruno Lopes
%D 2014
%K dblp
%T Extensões de lógica Proposicional dinâmica para Redes de Petri.
@phdthesis{phd/ndltd/Vieira14,
added-at = {2017-08-21T00:00:00.000+0200},
author = {Vieira, Bruno Lopes},
biburl = {https://www.bibsonomy.org/bibtex/2a4d12edad43aa091a33460adffc9a935/dblp},
ee = {http://search.ndltd.org/show.php?id=oai:union.ndltd.org:IBICT/oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24052},
interhash = {0c2ff220bef0212789103a92095c217d},
intrahash = {a4d12edad43aa091a33460adffc9a935},
keywords = {dblp},
note = {ndltd.org (oai:agregador.ibict.br.BDTD_PUC_RIO:oai:MAXWELL.puc-rio.br:24052)},
school = {Pontifical Catholic University of Rio de Janeiro, Brazil},
timestamp = {2017-08-22T11:41:33.000+0200},
title = {Extensões de lógica Proposicional dinâmica para Redes de Petri.},
year = 2014
}