%0 Thesis
%T T?cnica para obten??o de redes de aut?matos estoc?sticos baseada em especifica??es de software em UML
%U http://tede2.pucrs.br/tede2/handle/tede/5029
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul