%0 Conference Paper %1 conf/date/AbdullaDRSZ13 %A Abdulla, Parosh Aziz %A Dwarkadas, Sandhya %A Rezine, Ahmed %A Shriraman, Arrvindh %A Zhu, Yunyun %B DATE %D 2013 %E Macii, Enrico %I EDA Consortium San Jose, CA, USA / ACM DL %K dblp %P 785-790 %T Verifying safety and liveness for the FlexTM hybrid transactional memory. %U http://dblp.uni-trier.de/db/conf/date/date2013.html#AbdullaDRSZ13 %@ 978-1-4503-2153-2

@inproceedings{conf/date/AbdullaDRSZ13, added-at = {2015-11-11T00:00:00.000+0100}, author = {Abdulla, Parosh Aziz and Dwarkadas, Sandhya and Rezine, Ahmed and Shriraman, Arrvindh and Zhu, Yunyun}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2dd23d0c22564677827af90811888d048/dblp}, booktitle = {DATE}, crossref = {conf/date/2013}, editor = {Macii, Enrico}, ee = {http://dl.acm.org/citation.cfm?id=2485479}, interhash = {3d17abd56ef414ca477472e31caea27c}, intrahash = {dd23d0c22564677827af90811888d048}, isbn = {978-1-4503-2153-2}, keywords = {dblp}, pages = {785-790}, publisher = {EDA Consortium San Jose, CA, USA / ACM DL}, timestamp = {2016-02-02T13:24:15.000+0100}, title = {Verifying safety and liveness for the FlexTM hybrid transactional memory.}, url = {http://dblp.uni-trier.de/db/conf/date/date2013.html#AbdullaDRSZ13}, year = 2013 }