TY  - JOUR
A1  - Tofan, Bogdan
A1  - Travkin, Oleg
A1  - Schellhorn, Gerhard
A1  - Wehrheim, Heike
T1  - Two approaches for proving linearizability of multiset
T2  - Science of Computer Programming
Y1  - 2014
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64061
SN  - 0167-6423
VL  - 96
IS  - 3
SP  - 297
EP  - 314
PB  - Elsevier BV
ER  -