DMCA

Verifying local transformations on relaxed memory models (2010)

Cached

Download Links

by Sebastian Burckhardt , Madanlal Musuvathi , Vasu Singh
Venue:of Lecture Notes in Computer Science
Citations:14 - 2 self