Revistas
Artículos
Publicaciones
Documentos
REVISTA
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
TODAS
Inicio
/
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
/
Vol: 11 Núm: 9 Par: 0 (2000)
/
Artículo
ARTÍCULO
TITULO
Theory - Formal Automatic Verification of Cache Coherence in Multiprocessors with Relaxed Memory Models
Pong
F
Dubois
M
Resumen
No disponible
PÁGINAS
pp. 989 - 989
NÚMERO
Volumen: 11 Número: 9 Parte: 0 (2000)
MATERIAS
INGENIERÍA Y CONSTRUCCIÓN CIVIL
Revistas destacadas
Infrastructures
Informed Infraestructure
BiT
Revista de la Construcción
Ver todas las revistas