Tesis
Analisador automatico de rede de Petri para validação de protocolos de comunicações
Registro en:
Autor
Arantes, Magda Patricia Caldeira
Institución
Resumen
Orientador: Shusaburo Motoyama Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica Mestrado Mestre em Engenharia Eletrica