Line-up: A complete and automatic linearizability checker (2010)
Cached
Download Links
by
Sebastian Burckhardt
,
Chris Dern
,
Roy Tan
,
Madanlal Musuvathi
| Venue: | In PLDI |
| Citations: | 9 - 0 self |
Document Versions
| Line-up: A complete and automatic linearizability checker –Sebastian Burckhardt, Chris Dern, Roy Tan, Madanlal Musuvathi — 2010 — In PLDI |
