西蒙·多尔蒂（Simon Doherty）等人：统一操作性弱记忆验证：公理方法。(2022) 期刊/tocl/DohertyDDW22 10.1145/3545117 统一操作性弱记忆验证：公理方法。 4 西蒙·多尔蒂 1 萨代赫·达尔瓦迪 2 布里杰什·多戈尔 三 海克·韦尔海姆 4 27:1-27:39 ACM事务处理。计算。日志。 ACM事务处理。计算。日志。 23 4 2022 dblp记录“journals/tocl/DohertyDDW22”的RDF数据的来源信息 2022-12-05T13:35:14+0100