乔治·巴奇 乔瓦尼·巴奇0001 金·拉森 Mirco Tribastone公司 马克斯·柴可夫斯基 安德烈·范丁 通过耦合和Up-to方法对差分互模拟进行有效的局部计算。 1-14 2021 许可证 https://doi.org/10.1109/LICS52264.2021.9470555 conf/lics/2021 db/conf/lics/lics2021.html#0001BLTTV21