Navegando por Autor Oleksinski, Lucas Giaretta
Mostrando resultados 1 a 1 de 1
| Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
|---|---|---|---|---|---|---|
| 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 |