@会议记录{doherty_et_al:LIPIcs.OPODIS.2016.35,author={Doherty、Simon和Dongol、Brijesh和Derrick、John和Schellhorn、Gerhard和Wehrheim、Heike},title={{证明悲观STM}}的不透明度,booktitle={第20届分布式系统原理国际会议(OPODIS 2016)},页数={35:1--35:17},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-95977-031-6},ISSN={1868-8969},年份={2017年},体积={70},editor={Fatourou、Panagiota和Jim\'{e} 内兹Ernesto和Pedone,Fernando},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.OPODIS.2016.35},URN={URN:nbn:de:0030-drops-71040},doi={10.4230/LIPIcs.OPODIS.2016.35},annote={关键词:悲观的STM,不透明度,验证,伊莎贝尔,模拟,TMS2}}