Brent Gayle Wilson
Especificação e Verificação Formal de um modelo de STI-PBL por Redes de Petri Coloridas