AuthorsS. Gjessing, S. Krogdahl and E. Munthe-Kaas
TitleApproaching Verification of the SCI Cache Coherence Protocol
StatusPublished
Publication TypeTechnical reports
Year of Publication1990
Number145
Date PublishedAugust,
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Gjessing.1990.b