%0 Book Section %1 conf/cost/CristalOCKKUTME15 %A Cristal, Adrián %A Ozkan, Burcu Kulahcioglu %A Cohen, Ernie %A Kestor, Gokcen %A Kuru, Ismail %A Unsal, Osman S. %A Tasiran, Serdar %A Mutluergil, Suha Orhun %A Elmas, Tayfun %B Transactional Memory %D 2015 %E Guerraoui, Rachid %E Romano, Paolo %I Springer %K dblp %P 283-306 %T Verification Tools for Transactional Programs. %U http://dblp.uni-trier.de/db/conf/cost/tm2015.html#CristalOCKKUTME15 %V 8913 %@ 978-3-319-14719-2

@incollection{conf/cost/CristalOCKKUTME15, added-at = {2018-11-02T00:00:00.000+0100}, author = {Cristal, Adrián and Ozkan, Burcu Kulahcioglu and Cohen, Ernie and Kestor, Gokcen and Kuru, Ismail and Unsal, Osman S. and Tasiran, Serdar and Mutluergil, Suha Orhun and Elmas, Tayfun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dfb1f6dda88af80d98e5e213c6926b0f/dblp}, booktitle = {Transactional Memory}, crossref = {conf/cost/2015tm}, editor = {Guerraoui, Rachid and Romano, Paolo}, ee = {https://doi.org/10.1007/978-3-319-14720-8_14}, interhash = {9e453649707952d08d6114660ed7f7ca}, intrahash = {dfb1f6dda88af80d98e5e213c6926b0f}, isbn = {978-3-319-14719-2}, keywords = {dblp}, pages = {283-306}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T12:24:20.000+0200}, title = {Verification Tools for Transactional Programs.}, url = {http://dblp.uni-trier.de/db/conf/cost/tm2015.html#CristalOCKKUTME15}, volume = 8913, year = 2015 }