| Authors | S. Gjessing, S. Krogdahl and E. Munthe-Kaas |
| Editors | K. G. Larsen and A. Skou |
| Title | A Top Down Approach to the Formal Specification of SCI Cache Coherence |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1992 |
| Conference Name | Computer Aided Verification, 3rd International Workshop (CAV'91) |
| Publisher | Springer-Verlag |
| Citation Key | ND.5.Gjessing.1992.a |
By thinking constantly about it…