Eliane Santiago Ramos

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

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) (2009)