DMCA

Verification of the Futurebus+ Cache Coherence Protocol (1995)

by Edmund M. Clarke , Orna Grumberg , Hiromi Hiraishi , Somesh Jha , David E. Long , Kenneth L. McMillan , Linda A. Ness
Citations:103 - 16 self