![](https://www.pdfsearch.io/img/14308956fb7a022632d90da71ef8126a.jpg) Date: 2016-09-06 10:47:26
| | A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2Add to Reading ListSource URL: software.imdea.orgDownload Document from Source Website File Size: 416,74 KBShare Document on Facebook
|