AuthorsS. Gjessing, S. Krogdahl and E. Munthe-Kaas
EditorsK. G. Larsen and A. Skou
TitleA Top Down Approach to the Formal Specification of SCI Cache Coherence
StatusPublished
Publication TypeProceedings, refereed
Year of Publication1992
Conference NameComputer Aided Verification, 3rd International Workshop (CAV'91)
PublisherSpringer-Verlag
Citation KeyND.5.Gjessing.1992.a