TY  - JOUR
A1  - Derrick, John
A1  - Schellhorn, Gerhard
A1  - Wehrheim, Heike
T1  - Verifying linearisability with potential linearisation points
T2  - Lecture Notes in Computer Science
Y1  - 2011
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64066
SN  - 9783642214363
SN  - 9783642214370
SN  - 0302-9743
SN  - 1611-3349
VL  - 6664
SP  - 323
EP  - 337
PB  - Springer
CY  - Berlin
ER  -