Formal Verification of Coherence for a Shared Memory Multiprocessor Model | Publicación