[{"date_created":"2018-06-13T08:09:44Z","type":"conference","status":"public","year":"2013","department":[{"_id":"77"}],"citation":{"mla":"Travkin, Oleg, et al. “{SPIN} as a Linearizability Checker under Weak Memory Models.” <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, edited by Valeria Bertacco and Axel Legay, 2013, pp. 311--326, doi:<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>.","apa":"Travkin, O., Mütze, A., &#38; Wehrheim, H. (2013). {SPIN} as a Linearizability Checker under Weak Memory Models. In V. Bertacco &#38; A. Legay (Eds.), <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i> (pp. 311--326). <a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">https://doi.org/10.1007/978-3-319-03077-7_21</a>","ama":"Travkin O, Mütze A, Wehrheim H. {SPIN} as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>. Lecture Notes in Computer Science. ; 2013:311--326. doi:<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>","bibtex":"@inproceedings{Travkin_Mütze_Wehrheim_2013, series={Lecture Notes in Computer Science}, title={{SPIN} as a Linearizability Checker under Weak Memory Models}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">10.1007/978-3-319-03077-7_21</a>}, booktitle={Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings}, author={Travkin, Oleg and Mütze, Annika and Wehrheim, Heike}, editor={Bertacco, Valeria and Legay, AxelEditors}, year={2013}, pages={311--326}, collection={Lecture Notes in Computer Science} }","ieee":"O. Travkin, A. Mütze, and H. Wehrheim, “{SPIN} as a Linearizability Checker under Weak Memory Models,” in <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, 2013, pp. 311--326.","chicago":"Travkin, Oleg, Annika Mütze, and Heike Wehrheim. “{SPIN} as a Linearizability Checker under Weak Memory Models.” In <i>Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings</i>, edited by Valeria Bertacco and Axel Legay, 311--326. Lecture Notes in Computer Science, 2013. <a href=\"https://doi.org/10.1007/978-3-319-03077-7_21\">https://doi.org/10.1007/978-3-319-03077-7_21</a>.","short":"O. Travkin, A. Mütze, H. Wehrheim, in: V. Bertacco, A. Legay (Eds.), Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326."},"user_id":"29719","series_title":"Lecture Notes in Computer Science","page":"311--326","publication":"Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November 5-7, 2013, Proceedings","date_updated":"2019-01-03T13:14:10Z","editor":[{"full_name":"Bertacco, Valeria","first_name":"Valeria","last_name":"Bertacco"},{"first_name":"Axel","last_name":"Legay","full_name":"Legay, Axel"}],"doi":"10.1007/978-3-319-03077-7_21","author":[{"full_name":"Travkin, Oleg","first_name":"Oleg","last_name":"Travkin"},{"full_name":"Mütze, Annika","first_name":"Annika","last_name":"Mütze"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike","id":"573"}],"title":"{SPIN} as a Linearizability Checker under Weak Memory Models","_id":"3177"}]