Exact and efficient verification of parameterized cache coherence protocols (2003)

Cached

Download Links

by E. Allen Emerson , Vineet Kahlon
Venue:Correct Hardware Design and Verification Methods (CHARME ’03), LNCS 2860
Citations:26 - 0 self