%0 Thesis
%T Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos
%U http://tede2.pucrs.br/tede2/handle/tede/5014
%I Pontifícia Universidade Católica do Rio Grande do Sul