BibTeX记录conf/dac/AdirGHHHKKLMNPSOTTZ14
@进行中{DBLP:conf/dac/AdirGHHHKKLMNPSOTTZ14， author={Allon Adir和 戴夫·古德曼和 丹尼尔·赫什科维奇和 Oz Hershkovitz和 布莱恩·希克森和 凯伦·霍尔茨和 维萨姆·卡德利和 安纳托利·科伊夫曼和 John M.Ludden和 查尔斯·迈斯纳和 阿米尔·纳希尔和 Randall R.Pratt和 Mike Schiffli和 Brett St.Onge和 Brian W.Thompto和 Elena Tsanko和 Avi-Ziv}， title={验证{POWER8}}中的事务内存， booktitle={2014年第51届设计自动化年会，{DAC}'14，San 美国加利福尼亚州弗朗西斯科，2014年6月1日至5日}， 页数={58:1--58:6}， publisher={{ACM}}， 年份＝{2014}， url={ https://doi.org/10.1145/2593069.2593241 }, doi={10.1145/2593069.2593241}， timestamp={2018年11月6日星期二16:58:17+0100}， biburl={ https://dblp.org/rec/conf/dac/AdirGHHHKKLMNPSOTTZ14.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
