%0 Thesis
%T Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos
%U http://tede2.pucrs.br/tede2/handle/tede/5235
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul