Verification of FLASH Cache Coherence Protocol by Aggregation of Distributed Transactions.

Seungjoon Park, David L. Dill

Browse the full SPAA paper archive.