An Integrated Methodology for the Verification of Directory-based Cache Protocols (1994)

by F Pong, P Stenstrm, M Dubois
Venue:Proceedings of the 1995 International Conference on Parallel Processing