TY  - JOUR
A1  - Derrick, John
A1  - Schellhorn, Gerhard
A1  - Wehrheim, Heike
T1  - Mechanically verified proof obligations for linearizability
T2  - ACM Transactions on Programming Languages and Systems
Y1  - 2011
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64067
SN  - 0164-0925
VL  - 33
IS  - 1
SP  - 4
PB  - Association for Computing Machinery (ACM)
ER  -