%0 Conference Paper %1 conf/dac/AdirGHHHHKKLMNPSOTTZ14 %A Adir, Allon %A Goodman, Dave %A Hershcovich, Daniel %A Hershkovitz, Oz %A Hickerson, Bryan G. %A Holtz, Karen %A Kadry, Wisam %A Koyfman, Anatoly %A Ludden, John M. %A Meissner, Charles %A Nahir, Amir %A Pratt, Randall R. %A Schiffli, Mike %A Onge, Brett St. %A Thompto, Brian W. %A Tsanko, Elena %A Ziv, Avi %B DAC %D 2014 %I ACM %K dblp %P 58:1-58:6 %T Verification of Transactional Memory in POWER8. %U http://dblp.uni-trier.de/db/conf/dac/dac2014.html#AdirGHHHHKKLMNPSOTTZ14 %@ 978-1-4503-2730-5

@inproceedings{conf/dac/AdirGHHHHKKLMNPSOTTZ14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Adir, Allon and Goodman, Dave and Hershcovich, Daniel and Hershkovitz, Oz and Hickerson, Bryan G. and Holtz, Karen and Kadry, Wisam and Koyfman, Anatoly and Ludden, John M. and Meissner, Charles and Nahir, Amir and Pratt, Randall R. and Schiffli, Mike and Onge, Brett St. and Thompto, Brian W. and Tsanko, Elena and Ziv, Avi}, biburl = {https://www.bibsonomy.org/bibtex/29b858b99f68fb17c65caa47e34bd60a1/dblp}, booktitle = {DAC}, crossref = {conf/dac/2014}, ee = {https://doi.org/10.1145/2593069.2593241}, interhash = {efb876fde6cc3ff995cff7f9e5ad52c1}, intrahash = {9b858b99f68fb17c65caa47e34bd60a1}, isbn = {978-1-4503-2730-5}, keywords = {dblp}, pages = {58:1-58:6}, publisher = {ACM}, timestamp = {2018-11-07T15:14:38.000+0100}, title = {Verification of Transactional Memory in POWER8.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2014.html#AdirGHHHHKKLMNPSOTTZ14}, year = 2014 }