DMCA

Shared Memory Consistency Protocol Verification against Weak Memory Models: Refinement via Model-Checking (2002)

Cached

Download Links

by Prosenjit Chatterjee , Hemanthkumar Sivaraj , Ganesh Gopalakrishnan
Venue:in Computer Aided Verification, Lecture Notes in Computer Science
Citations:13 - 5 self