Automatic verification of the SCI cache coherence protocol.

Ulrich Stern David L. Dill Automatic verification of the SCI cache coherence protocol. 21-34 1995 conf/charme/1995 CHARME db/conf/charme/charme1995.html#SternD95