A Top Down Approach to the Formal Specification of SCI Cache Coherence - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stein Gjessing, Stein Krogdahl, Ellen Munthe-Kaas. A Top Down Approach to the Formal Specification of SCI Cache Coherence. In Kim Guldstrand Larsen, Arne Skou, editors, Computer Aided Verification, 3rd International Workshop, CAV 91, Aalborg, Denmark, July, 1-4, 1991, Proceedings. Volume 575 of Lecture Notes in Computer Science, pages 83-91, Springer, 1991.

This author has not been identified. Look up 'Stein Gjessing' in GoogleThis author has not been identified. Look up 'Stein Krogdahl' in GoogleThis author has not been identified. Look up 'Ellen Munthe-Kaas' in Google

runs on WebDSL