A Top Down Approach to the Formal Specification of SCI Cache Coherence
- Authors
- S. Gjessing, S. Krogdahl and E. Munthe-Kaas
- Status
- Published
- Publication type
- Technical Reports
- Year of publication
- 1990
- Journal
- -
- Publisher
- Department of Informatics, University of Oslo
- Citation key
- 12989