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
Todos contribuidores
Assunto
Áreas do CNPq
Instituição
Sigla da instituição
Programa
Departamento
Tipo de acesso