Rapid parameterized model checking of snoopy cache coherence protocols (2003)

by E Emerson, V Kahlon
Venue:Tools and Algorithms for the Construction and Analysis of Systems