Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-1 de 1.
- Anterior
- 1
- Próximo
Conjunto de itens:
Data de defesa | Pré-visualização | Título | Autor | Orientador | Programa | Tipo de documento |
---|---|---|---|---|---|---|
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 |
Compartilhe o registro |
![]() ![]() ![]() |
Busca facetada
Orientador
Todos contribuidores
Assunto
Instituição
Sigla da instituição
Programa
Departamento
Ano de disponibilização
Tipo de arquivo