TY  - JOUR
A1  - Travkin, Oleg
A1  - Wehrheim, Heike
A1  - Schellhorn, Gerhard
T1  - Proving linearizability of multiset with local proof obligations
T2  - Electronic Communications of the EASST
Y1  - 2019
UR  - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/64084
UR  - https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-640840
VL  - 53
PB  - TU Dortmund University
CY  - Dortmund
ER  -