%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 }