TY  - SER
AU  - Sorin, D J
AU  - Plakal, M
TI  - Specifying and Verifying A Broadcast and A Multicast Snooping Cache Coherence Protocol
KW  - Cache
ER  -