Eliane Santiago Ramos, José M. Parente de Oliveira. Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas. Revista Brasileira de Informática na Educ., 17(3):53-66, 2009. [doi]
@article{RamosO09,
title = {Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas},
author = {Eliane Santiago Ramos and José M. Parente de Oliveira},
year = {2009},
doi = {10.5753/rbie.2009.17.03.53},
url = {https://doi.org/10.5753/rbie.2009.17.03.53},
researchr = {https://researchr.org/publication/RamosO09},
cites = {0},
citedby = {0},
journal = {Revista Brasileira de Informática na Educ.},
volume = {17},
number = {3},
pages = {53-66},
}