Ver registro no DEDALUS
Exportar registro bibliográfico

Aplicacao da analise de mutantes na validacao de especificacoes baseadas em redes de petri (1994)