| Authors | S. Gjessing, S. Krogdahl and E. Munthe-Kaas |
| Title | Approaching Verification of the SCI Cache Coherence Protocol |
| Status | Published |
| Publication Type | Technical reports |
| Year of Publication | 1990 |
| Number | 145 |
| Date Published | August, |
| Publisher | Department of Informatics, University of Oslo |
| Citation Key | ND.7.Gjessing.1990.b |
By thinking constantly about it…