%0 Thesis
%T Gera??o de contraexemplos e testemunhas para um verificador de modelos descritos em redes de aut?matos estoc?sticos
%U http://tede2.pucrs.br/tede2/handle/tede/5225
%I Pontif?cia Universidade Cat?lica do Rio Grande do Sul