An Integrated Methodology for the Verification of Directory-Based Cache Protocols.

Fong Pong, Per Stenstrm, Michel Dubois

Browse the full ICPP paper archive.