%0 Thesis
%T Modelagem e an?lise formal de algumas funcionalidades de um protocolo de transporte atrav?s das redes de Petri
%U http://tede.inatel.br:8080/tede/handle/tede/162
%I Instituto Nacional de Telecomunica??es