AuthorsS. Gjessing, S. Krogdahl and E. Munthe-Kaas
TitleFormal Specification and Verification of SCI Cache Coherence
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1989
Conference NameNorsk Informatikk Konferanse
Date Publishednovember,
Citation KeyND.6.Gjessing.1989