Jump to navigation
By thinking constantly about it…
G
Search form
Search
Research
Education
Innovation
Home
About Simula
Publications
People
Careers
Contact
Authors
S. Gjessing
,
S. Krogdahl
and
E. Munthe-Kaas
Title
Formal Specification and Verification of SCI Cache Coherence
Status
Published
Publication Type
Proceedings, refereed
Year of Publication
1989
Conference Name
Norsk Informatikk Konferanse
Date Published
november,
Citation Key
ND.6.Gjessing.1989
Google Scholar
BibTeX