提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tocl/Guidi22AU-费鲁西奥·吉迪TI-通用量化原理图变量的形式化系统。JO-ACM事务处理。计算。日志。第23页IS-1标准SP-2:1EP-2:372022年上半年//DO-10.1145/3470646UR-（欧元）https://doi.org/10.1145/3470646急诊室-