1
Assuntos:
“...Petri Nets_communication protocols_modeling_formal analysis....”
Modelagem e an?lise formal de algumas funcionalidades de um protocolo de transporte atrav?s das redes de Petri
Dissertação