Browsing by Author Wondracek, Alberto do Carmo Sulzbacher
Showing results 1 to 1 of 1
| Issue Date | Preview | Title | Author(s) | Advisor | Program | Document Type |
|---|---|---|---|---|---|---|
| 25-Mar-2013 |  | Tradução de modelos de redes de automatos estocásticos para a linguagem do NUSMV | Wondracek, Alberto do Carmo Sulzbacher | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |