Marcos Moecke, Jean-Marie Farines. Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise. In Daltro José Nunes, Ana Maria de Alencar Price, Loreta Scheuer de O. Ramos, editors, Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992. pages 157-170, SBC, 1992. [doi]
@inproceedings{MoeckeF92,
title = {Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análise},
author = {Marcos Moecke and Jean-Marie Farines},
year = {1992},
doi = {10.5753/sbes.1992.25181},
url = {https://doi.org/10.5753/sbes.1992.25181},
researchr = {https://researchr.org/publication/MoeckeF92},
cites = {0},
citedby = {0},
pages = {157-170},
booktitle = {Proceedings of the 6th Brazilian Symposium on Software Engineering, SBES 1992, Gramado, RS, Brazil, November 4-6, 1992},
editor = {Daltro José Nunes and Ana Maria de Alencar Price and Loreta Scheuer de O. Ramos},
publisher = {SBC},
}