TY - JOUR AU - Tofan, Bogdan AU - Travkin, Oleg AU - Schellhorn, Gerhard AU - Wehrheim, Heike ID - 3168 JF - Sci. Comput. Program. TI - Two approaches for proving linearizability of multiset ER -