%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