提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/tocl/EchenimP13非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-嵌套理论的实例化方案。JO-ACM事务处理。计算。日志。VL-14IS-2时间：11:1EP-11:342013年上半年//DO-10.1145/2480759.2480763UR-（欧元）https://doi.org/10.1145/2480759.2480763急诊室-