TY  - JOUR
A1  - Schellhorn, Gerhard
A1  - Derrick, John
A1  - Wehrheim, Heike
T1  - A sound and complete proof technique for linearizability of concurrent data structures
T2  - ACM Transactions on Computational Logic
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64060
SN  - 1529-3785
VL  - 15
IS  - 4
SP  - 31
PB  - Association for Computing Machinery (ACM)
ER  -