Cássio Leonardo Rodrigues
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas