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 |