%0 Thesis
%T Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
%U http://tede2.pucrs.br/tede2/handle/tede/5154
%I Pontifícia Universidade Católica do Rio Grande do Sul