Browsing by Author Oleksinski, Lucas Giaretta
Showing results 1 to 1 of 1
Issue Date | Preview | Title | Author(s) | Advisor | Program | Document Type |
---|---|---|---|---|---|---|
25-Mar-2013 | Abordagens paralelas para Model Checking de redes de autômatos estocásticos | Oleksinski, Lucas Giaretta | Dotti, Fernando Luís | Programa de Pós-Graduação em Ciência da Computação | Dissertação |