Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design, 6(2):217-232, 1995.
Possibly Related PublicationsThe following publications are possibly variants of this publication: Verification of the Futurebus+ Cache Coherence ProtocolEdmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. chdl 1993: 15-30
The following publications are possibly variants of this publication: