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

by F PONG, M DUBOIS
Venue:IEEE Transacations on Parallel and Distributed Systems