A New Approach for the Verification of Cache Coherence Protocols (1995)

by Fong Pong, Michel Dubois
Venue:IEEE Transactions on Parallel and Distributed Systems