Verification Techniques for Cache Coherence Protocols (1997)

by F Pong, M Dubois
Venue:ACM Computing Surveys