skip to main content

Idioma:

1 Resultados para Busca Geral

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method

Refinado por: Base de dados/Biblioteca: IngentaConnect Journals

remover

tipo de recurso: Book Chapters

remover

Result Number	Material Type	Add to My Shelf Action	Record Details and Options
1	Material Type: Capítulo de Livro		Symbolic Model Checking with Fewer Fixpoint Computations Déharbe, David ; Moreira, Anamaria Martins FM’99 — Formal Methods, 1999, p.272-288 [Periódico revisado por pares] Berlin, Heidelberg: Springer Berlin Heidelberg Texto completo disponível Exibir Online Detalhes Resenhas & Tags Mais Opções Nº de Citações Citações Citado por

1 Resultados para Busca Geral

Ordenado por: Ordenado por: Data mais recenteOr hit Enter to replace sort method

Personalize Seus Resultados

Editar

RSS

Enviar página para o Meu Espaço

Refine Search Results

Expandir Meus Resultados

Expandir meus resultados

Neste Assunto:

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento