- Artículo:
Formal Verification of Complex Coherence Protocols Using Symbolic State Models
- Autor:
F. Pong
M. Dubois
- Página:
557
- Publicación:
Journal of the Association for Computing Machinery
- Volúmen:
45
- Número:
4
- Periodo:
Julio 1998
- ISSN:
00045411
- SrcID:
00045411-1998-04.TXT
- Documento número 1670685
- Actualizado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Creado el lunes, 13 de marzo de 2023 12:39:37 p. m.
- Enlace directo
