提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/lics/0001BLTTV21AU-巴奇，乔治AU-巴奇，乔瓦尼AU-Larsen，Kim G。AU-米尔科Tribastone非盟——马克斯·柴科夫斯基澳大利亚-安德烈·范丁TI-通过耦合和Up-to方法对差分互模拟进行有效的局部计算。BT-第36届ACM/IEEE计算机科学逻辑年会，LICS 2021，罗马，意大利，2021年6月29日-7月2日SP-1EP-142021年上半年//DO-10.1109/许可证5226.4021.947055UR-（欧元）https://doi.org/10.1109/LICS52264.2021.9470555急诊室-