skip to main content
Idioma:
Mostrar Somente
Refinado por: tipo de recurso: Book Chapters remover IngentaConnect Journals remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Fast and Generalized Polynomial Time Memory Consistency Verification
Fast and Generalized Polynomial Time Memory Consistency Verification
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Fast and Generalized Polynomial Time Memory Consistency Verification

Roy, Amitabha ; Zeisset, Stephan ; Fleckenstein, Charles J. ; Huang, John C.

Computer Aided Verification, 2006, p.503-516 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
2
Mechanized Operational Semantics via (Co)Induction
Mechanized Operational Semantics via (Co)Induction
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Mechanized Operational Semantics via (Co)Induction

Bertot, Yves ; Dowek, Gilles ; Hirschowitz, Andre ; Paulin, Christine ; Thery, Laurent

Lecture notes in computer science, 1999, Vol.1690, p.221-238 [Periódico revisado por pares]

Germany: Springer Berlin / Heidelberg

Texto completo disponível

Citações Citado por
3
Integrating PDAs into Distributed Systems: 2K and PalmORB
Integrating PDAs into Distributed Systems: 2K and PalmORB
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

Integrating PDAs into Distributed Systems: 2K and PalmORB

Román, Manuel ; Singhai, Ashish ; Carvalho, Dulcineia ; Hess, Christopher K. ; Campbell, Roy H. Gellersen, Hans-Werner

Handheld and Ubiquitous Computing, 1999, Vol.1707, p.137-149 [Periódico revisado por pares]

Germany: Springer-Verlag

Texto completo disponível

Citações Citado por

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.