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

• Authors:

• Stein Gjessing;Stein Krogdahl;Ellen Munthe-Kaas

• Affiliations:

• -;-;-

• Venue:
• CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
• Year:
• 1991