| Authors | S. Gjessing, S. Krogdahl and E. Munthe-Kaas |
| Title | Formal Specification and Verification of SCI Cache Coherence |
| Status | Published |
| Publication Type | Proceedings, refereed |
| Year of Publication | 1989 |
| Conference Name | Norsk Informatikk Konferanse |
| Date Published | november, |
| Citation Key | ND.6.Gjessing.1989 |
