70167998

a

70167998 Elmas, Tayfun Qadeer, Shaz Sezgin, Ali Subasi, Omer Tasiran, Serdar Simplifying linearizability proofs with reduction and abstraction TACAS, 296-311 (2010). 2010 EN

doi:10.1007/978-3-642-12002-2_25