@inbook{5747,
  author       = {Dragoi, Cezara and Gupta, Ashutosh and Henzinger, Thomas A},
  booktitle    = {Computer Aided Verification},
  isbn         = {9783642397981},
  issn         = {1611-3349},
  location     = {Saint Petersburg, Russia},
  pages        = {174--190},
  publisher    = {Springer Berlin Heidelberg},
  title        = {{Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates}},
  doi          = {10.1007/978-3-642-39799-8_11},
  volume       = {8044},
  year         = {2013},
}