D.L.: Verification of flash cache coherence protocol by aggregation of distributed transactions (1996)

by S Park, Dill
Venue:In: SPAA ’96: Proceedings of the eighth annual ACM symposium on Parallel algorithms and architectures