[{"title":"Two approaches for proving linearizability of multiset","status":"public","type":"journal_article","date_created":"2018-06-13T07:56:12Z","date_updated":"2019-01-03T13:14:09Z","department":[{"_id":"77"}],"_id":"3168","year":"2014","doi":"10.1016/j.scico.2014.04.001","publication":"Sci. Comput. Program.","page":"297--314","citation":{"short":"B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.","chicago":"Tofan, Bogdan, Oleg Travkin, Gerhard Schellhorn, and Heike Wehrheim. “Two Approaches for Proving Linearizability of Multiset.” <i>Sci. Comput. Program.</i>, 2014, 297--314. <a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">https://doi.org/10.1016/j.scico.2014.04.001</a>.","ama":"Tofan B, Travkin O, Schellhorn G, Wehrheim H. Two approaches for proving linearizability of multiset. <i>Sci Comput Program</i>. 2014:297--314. doi:<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>","bibtex":"@article{Tofan_Travkin_Schellhorn_Wehrheim_2014, title={Two approaches for proving linearizability of multiset}, DOI={<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>}, journal={Sci. Comput. Program.}, author={Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike}, year={2014}, pages={297--314} }","mla":"Tofan, Bogdan, et al. “Two Approaches for Proving Linearizability of Multiset.” <i>Sci. Comput. Program.</i>, 2014, pp. 297--314, doi:<a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">10.1016/j.scico.2014.04.001</a>.","ieee":"B. Tofan, O. Travkin, G. Schellhorn, and H. Wehrheim, “Two approaches for proving linearizability of multiset,” <i>Sci. Comput. Program.</i>, pp. 297--314, 2014.","apa":"Tofan, B., Travkin, O., Schellhorn, G., &#38; Wehrheim, H. (2014). Two approaches for proving linearizability of multiset. <i>Sci. Comput. Program.</i>, 297--314. <a href=\"https://doi.org/10.1016/j.scico.2014.04.001\">https://doi.org/10.1016/j.scico.2014.04.001</a>"},"user_id":"29719","author":[{"first_name":"Bogdan","last_name":"Tofan","full_name":"Tofan, Bogdan"},{"first_name":"Oleg","full_name":"Travkin, Oleg","last_name":"Travkin"},{"first_name":"Gerhard","full_name":"Schellhorn, Gerhard","last_name":"Schellhorn"},{"first_name":"Heike","id":"573","full_name":"Wehrheim, Heike","last_name":"Wehrheim"}]}]