K. Larsen
External collaborator
Publications
Simula-affiliated publications listed
1992
Proceedings, refereed
Read A Top Down Approach to the Formal Specification of SCI Cache Coherence
S. Gjessing, S. Krogdahl and E. Munthe-Kaas
A Top Down Approach to the Formal Specification of SCI Cache Coherence
Computer Aided Verification, 3rd International Workshop (CAV'91)