![](https://www.pdfsearch.io/img/33663b2d359e9e87b899731cecab33cb.jpg) Date: 2016-09-06 10:47:15
| | A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software InstituteAdd to Reading ListSource URL: software.imdea.orgDownload Document from Source Website File Size: 366,03 KBShare Document on Facebook
|