Formal Specification and Verification of SCI Cache Coherence
- Authors
- S. Gjessing, S. Krogdahl and E. Munthe-Kaas
- Status
- Published
- Publication type
- Proceedings Refereed
- Year of publication
- 1989
- Journal
- Norsk Informatikk Konferanse
- Publisher
- -
- Citation key
- 9991