[{"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","place":"Berlin, Heidelberg","article_processing_charge":"No","oa_version":"None","title":"Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates","department":[{"_id":"ToHe"}],"ddc":["005"],"date_created":"2018-12-18T13:10:21Z","file":[{"file_size":236480,"relation":"main_file","content_type":"application/pdf","date_updated":"2020-07-14T12:47:10Z","file_id":"5748","access_level":"open_access","date_created":"2018-12-18T13:13:33Z","checksum":"a901cc6b71db08b61c0d4c0cbacc6287","file_name":"2013_CAV_Dragoi.pdf","creator":"dernst"}],"date_published":"2013-08-01T00:00:00Z","series_title":"CAV","ec_funded":1,"_id":"5747","pubrep_id":"195","publication_identifier":{"issn":["0302-9743"],"eisbn":["9783642397998"],"eissn":["1611-3349"],"isbn":["9783642397981"]},"language":[{"iso":"eng"}],"has_accepted_license":"1","month":"08","page":"174-190","quality_controlled":"1","year":"2013","status":"public","project":[{"name":"Quantitative Reactive Modeling","grant_number":"267989","call_identifier":"FP7","_id":"25EE3708-B435-11E9-9278-68D0E5697425"},{"_id":"25832EC2-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S 11407_N23","name":"Rigorous Systems Engineering"}],"fulldoi":"https://doi.org/10.1007/978-3-642-39799-8_11","file_date_updated":"2020-07-14T12:47:10Z","conference":{"start_date":"2013-07-13","end_date":"2013-07-19","name":"CAV: Computer Aided Verification","location":"Saint Petersburg, Russia"},"publication_status":"published","day":"01","author":[{"first_name":"Cezara","id":"2B2B5ED0-F248-11E8-B48F-1D18A9856A87","full_name":"Dragoi, Cezara","last_name":"Dragoi"},{"first_name":"Ashutosh","id":"335E5684-F248-11E8-B48F-1D18A9856A87","full_name":"Gupta, Ashutosh","last_name":"Gupta"},{"last_name":"Henzinger","orcid":"0000−0002−2985−7724","full_name":"Henzinger, Thomas A","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87"}],"intvolume":"      8044","date_updated":"2025-07-10T11:52:57Z","doi":"10.1007/978-3-642-39799-8_11","scopus_import":"1","publisher":"Springer Berlin Heidelberg","oa":1,"publication":"Computer Aided Verification","volume":8044,"type":"book_chapter","citation":{"chicago":"Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” In <i>Computer Aided Verification</i>, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_11\">https://doi.org/10.1007/978-3-642-39799-8_11</a>.","ama":"Dragoi C, Gupta A, Henzinger TA. Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: <i>Computer Aided Verification</i>. Vol 8044. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg; 2013:174-190. doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_11\">10.1007/978-3-642-39799-8_11</a>","mla":"Dragoi, Cezara, et al. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.” <i>Computer Aided Verification</i>, vol. 8044, Springer Berlin Heidelberg, 2013, pp. 174–90, doi:<a href=\"https://doi.org/10.1007/978-3-642-39799-8_11\">10.1007/978-3-642-39799-8_11</a>.","short":"C. Dragoi, A. Gupta, T.A. Henzinger, in:, Computer Aided Verification, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 174–190.","ista":"Dragoi C, Gupta A, Henzinger TA. 2013.Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In: Computer Aided Verification. vol. 8044, 174–190.","ieee":"C. Dragoi, A. Gupta, and T. A. Henzinger, “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates,” in <i>Computer Aided Verification</i>, vol. 8044, Berlin, Heidelberg: Springer Berlin Heidelberg, 2013, pp. 174–190.","apa":"Dragoi, C., Gupta, A., &#38; Henzinger, T. A. (2013). Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates. In <i>Computer Aided Verification</i> (Vol. 8044, pp. 174–190). Berlin, Heidelberg: Springer Berlin Heidelberg. <a href=\"https://doi.org/10.1007/978-3-642-39799-8_11\">https://doi.org/10.1007/978-3-642-39799-8_11</a>"}}]