DMCA

Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols (2003)

by E. Allen Emerson , Vineet Kahlon
Venue:In 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS
Citations:15 - 2 self