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 |