{"status":"public","title":"Proving Linearizability Via Non-atomic Refinement","year":"2007","author":[{"first_name":"John","last_name":"Derrick","full_name":"Derrick, John"},{"full_name":"Schellhorn, Gerhard","first_name":"Gerhard","last_name":"Schellhorn"},{"id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike"}],"date_updated":"2022-01-06T06:59:05Z","page":"195--214","series_title":"Lecture Notes in Computer Science","_id":"3222","user_id":"29719","doi":"10.1007/978-3-540-73210-5_11","editor":[{"full_name":"Davies, Jim","first_name":"Jim","last_name":"Davies"},{"full_name":"Gibbons, Jeremy","first_name":"Jeremy","last_name":"Gibbons"}],"publication":"Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings","citation":{"bibtex":"@inproceedings{Derrick_Schellhorn_Wehrheim_2007, series={Lecture Notes in Computer Science}, title={Proving Linearizability Via Non-atomic Refinement}, DOI={<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>}, booktitle={Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, author={Derrick, John and Schellhorn, Gerhard and Wehrheim, Heike}, editor={Davies, Jim and Gibbons, JeremyEditors}, year={2007}, pages={195--214}, collection={Lecture Notes in Computer Science} }","ama":"Derrick J, Schellhorn G, Wehrheim H. Proving Linearizability Via Non-atomic Refinement. In: Davies J, Gibbons J, eds. <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>. Lecture Notes in Computer Science. ; 2007:195--214. doi:<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>","mla":"Derrick, John, et al. “Proving Linearizability Via Non-Atomic Refinement.” <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons, 2007, pp. 195--214, doi:<a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">10.1007/978-3-540-73210-5_11</a>.","short":"J. Derrick, G. Schellhorn, H. Wehrheim, in: J. Davies, J. Gibbons (Eds.), Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings, 2007, pp. 195--214.","chicago":"Derrick, John, Gerhard Schellhorn, and Heike Wehrheim. “Proving Linearizability Via Non-Atomic Refinement.” In <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, edited by Jim Davies and Jeremy Gibbons, 195--214. Lecture Notes in Computer Science, 2007. <a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">https://doi.org/10.1007/978-3-540-73210-5_11</a>.","ieee":"J. Derrick, G. Schellhorn, and H. Wehrheim, “Proving Linearizability Via Non-atomic Refinement,” in <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i>, 2007, pp. 195--214.","apa":"Derrick, J., Schellhorn, G., &#38; Wehrheim, H. (2007). Proving Linearizability Via Non-atomic Refinement. In J. Davies &#38; J. Gibbons (Eds.), <i>Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings</i> (pp. 195--214). <a href=\"https://doi.org/10.1007/978-3-540-73210-5_11\">https://doi.org/10.1007/978-3-540-73210-5_11</a>"},"date_created":"2018-06-14T06:32:05Z","type":"conference","department":[{"_id":"77"}]}