Browsing by Author Correa, Claiton Marques
Showing results 1 to 1 of 1
| Issue Date | Preview | Title | Author(s) | Advisor | Program | Document Type |
|---|---|---|---|---|---|---|
| 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 |