Analisador automatico de rede de Petri para validação de protocolos de comunicações
Magda Patricia Caldeira Arantes
DISSERTAÇÃO
Português
T/UNICAMP Ar14a
Campinas, SP : [s.n.], 1988.
173f. : il.
(Publicação FEE)
Orientador: Shusaburo Motoyama
Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica
Analisador automatico de rede de Petri para validação de protocolos de comunicações
Magda Patricia Caldeira Arantes
Analisador automatico de rede de Petri para validação de protocolos de comunicações
Magda Patricia Caldeira Arantes
Exemplares
Nº de exemplares: 2
Não existem reservas para esta obra