Navegando por Autor Correa, Claiton Marques
Mostrando resultados 1 a 1 de 1
Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
---|---|---|---|---|---|---|
26-Mar-2013 | Geração de contraexemplos e testemunhas para um verificador de modelos descritos em redes de autômatos estocásticos | Correa, Claiton Marques | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |