%0 Thesis
%T Tradu??o de modelos de redes de automatos estoc?sticos para a linguagem do NUSMV
%U http://tede2.pucrs.br/tede2/handle/tede/5260
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul