A Top Down Approach to the Formal Specification of SCI Cache Coherence
- Authors
- S. Gjessing, S. Krogdahl and E. Munthe-Kaas
- Editors
- K. G. Larsen and A. Skou
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1992
- Journal
- Computer Aided Verification, 3rd International Workshop (CAV'91)
- Publisher
- Springer-Verlag
- Citation key
- 9997