- Artículo:
Verification techniques for cache coherence protocols
- Autor:
Fong Pong
Michel Dubois
- Página:
82
- Publicación:
ACM Computing surveys
- Volúmen:
29
- Número:
1
- Periodo:
Marzo 1997
- ISSN:
03600300
- SrcID:
03600300-1997-01.TXT
- Documento número 1466315
- Actualizado el jueves, 22 de abril de 2021 05:57:45 p. m.
- Creado el jueves, 22 de abril de 2021 05:57:45 p. m.
- Enlace directo
