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 |