The Verification of the On-Chip COMA Cache Coherence Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thuy Duong Vu, Li Zhang, Chris R. Jesshope. The Verification of the On-Chip COMA Cache Coherence Protocol. In José Meseguer, Grigore Rosu, editors, Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings. Volume 5140 of Lecture Notes in Computer Science, pages 413-429, Springer, 2008. [doi]

This author has not been identified. Look up 'Thuy Duong Vu' in GoogleThis author has not been identified. Look up 'Li Zhang' in GoogleThis author has not been identified. Look up 'Chris R. Jesshope' in Google

runs on WebDSL