Correa, C. M., & Dotti, F. L. (2013). Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos. Pontifícia Universidade Católica do Rio Grande do Sul.
Chicago Style (17th ed.) CitationCorrea, Claiton Marques, and Fernando Luís Dotti. Geração De Contraexemplos E Testemunhas Para Um Verificador De Modelos Descritos Em Redes De Autômatos Estocásticos. Pontifícia Universidade Católica do Rio Grande do Sul, 2013.
MLA (8th ed.) CitationCorrea, Claiton Marques, and Fernando Luís Dotti. Geração De Contraexemplos E Testemunhas Para Um Verificador De Modelos Descritos Em Redes De Autômatos Estocásticos. Pontifícia Universidade Católica do Rio Grande do Sul, 2013.
Warning: These citations may not always be 100% accurate.