{"date_created":"2018-06-13T07:59:46Z","editor":[{"first_name":"Eran","last_name":"Yahav","full_name":"Yahav, Eran"}],"user_id":"29719","citation":{"ieee":"O. Travkin and H. Wehrheim, “Handling {TSO} in Mechanized Linearizability Proofs,” in <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, 2014, pp. 132--147.","mla":"Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, edited by Eran Yahav, 2014, pp. 132--147, doi:<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>.","ama":"Travkin O, Wehrheim H. Handling {TSO} in Mechanized Linearizability Proofs. In: Yahav E, ed. <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>. Lecture Notes in Computer Science. ; 2014:132--147. doi:<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>","apa":"Travkin, O., &#38; Wehrheim, H. (2014). Handling {TSO} in Mechanized Linearizability Proofs. In E. Yahav (Ed.), <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i> (pp. 132--147). <a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">https://doi.org/10.1007/978-3-319-13338-6_11</a>","bibtex":"@inproceedings{Travkin_Wehrheim_2014, series={Lecture Notes in Computer Science}, title={Handling {TSO} in Mechanized Linearizability Proofs}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">10.1007/978-3-319-13338-6_11</a>}, booktitle={Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings}, author={Travkin, Oleg and Wehrheim, Heike}, editor={Yahav, EranEditor}, year={2014}, pages={132--147}, collection={Lecture Notes in Computer Science} }","chicago":"Travkin, Oleg, and Heike Wehrheim. “Handling {TSO} in Mechanized Linearizability Proofs.” In <i>Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings</i>, edited by Eran Yahav, 132--147. Lecture Notes in Computer Science, 2014. <a href=\"https://doi.org/10.1007/978-3-319-13338-6_11\">https://doi.org/10.1007/978-3-319-13338-6_11</a>.","short":"O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147."},"_id":"3171","title":"Handling {TSO} in Mechanized Linearizability Proofs","department":[{"_id":"77"}],"author":[{"first_name":"Oleg","last_name":"Travkin","full_name":"Travkin, Oleg"},{"full_name":"Wehrheim, Heike","id":"573","last_name":"Wehrheim","first_name":"Heike"}],"year":"2014","status":"public","date_updated":"2022-01-06T06:59:02Z","type":"conference","publication":"Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November 18-20, 2014. Proceedings","page":"132--147","doi":"10.1007/978-3-319-13338-6_11","series_title":"Lecture Notes in Computer Science"}