Verification of cache coherence protocols by aggregation of distributed transactions

From MaRDI portal
Publication:1265158