A Top Down Approach to the Formal Specification of SCI Cache Coherence

Authors	S. Gjessing, S. Krogdahl and E. Munthe-Kaas
Editors	K. G. Larsen and A. Skou
Title	A Top Down Approach to the Formal Specification of SCI Cache Coherence
Status	Published
Publication Type	Proceedings, refereed
Year of Publication	1992
Conference Name	Computer Aided Verification, 3rd International Workshop (CAV'91)
Publisher	Springer-Verlag
Citation Key	ND.5.Gjessing.1992.a

Search form