AuthorsS. Gjessing, S. Krogdahl and E. Munthe-Kaas
TitleA Top Down Approach to the Formal Specification of SCI Cache Coherence
StatusPublished
Publication TypeTechnical reports
Year of Publication1990
Number146
Date PublishedAugust,
PublisherDepartment of Informatics, University of Oslo
Citation KeyND.7.Gjessing.1990.a