A new approach for the verification of cache coherence protocols (1995)

by F Pong, M Dubois
Venue:IEEE Transactions on Parallel and Distributed Systems