TY - CHAP AU - Dragoi, Cezara AU - Gupta, Ashutosh AU - Henzinger, Thomas A ID - 5747 SN - 0302-9743 T2 - Computer Aided Verification TI - Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates VL - 8044 ER -