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 |