%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