Automatic verification of parameterized cache coherence protocols,” (2000)

by G Delzanno
Venue:in Proceedings of the International Conference on Computer Aided Verification,