Automatic verification of parameterized cache coherence protocols (2000)

by G Delzanno
Venue:In Proc. of CAV, number 1855 in LNCS