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]
No references recorded for this publication.
No citations of this publication recorded.