. . . . . “乔治·巴奇（Giorgio Bacci）等人：通过耦合和Up-to方法对微分互模拟进行有效的局部计算。（2021）”。 . . _：ID_3ca6a9b4de95ba724e61de93c9659fb1。_：ID_3ca6a9b4de95ba724e61de93c9659fb1 ._：ID_3ca6a9b4de95ba724e61de93c9659fb1 ._：ID_3ca6a9b4de95ba724e61de93c9659fb1“conf/lics/0001BLTTV21”。 _：ID_5441c1f9f1a11c35e075d7ffb540a784。_：ID_5441c1f9f1a11c35e075d7ffb540a784 ._：ID_5441c1f9f1a11c35e075d7ffb540a784 ._：ID_5441c1f9f1a11c35e075d7ffb540a784“10.1109/LICS52264.2021.9470555”。 “通过耦合和Up-to方法对差分互模拟进行有效的局部计算”。 . . . . . . . "6"^^. _：Sig_2334a4fc0fdf682e4 efd9dafaafd6d_1。_：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1“乔治·巴奇”。_：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1“1”^^._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_1 . _：Sig_2334a4fc0fdf682e34efd9dafaaf4d6d_2。_：Sig_2334a4fc0fdf682e34efd9dafaaf4d6d_2 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_2“乔瓦尼·巴奇0001”。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_2 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_2 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_2"2"^^._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_2 . _：Sig_2334a4fc0fdf682e4 efd9dafaafd6d_3。_：Sig_2334a4fc0fdf682e4efd9dafaafd6d_3 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_3“Kim G.Larsen”。_：Sig_2334a4fc0fdf682e34efd9dafaaf4d6d_3 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_3 ._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_3"3"^^._：Sig_2334a4fc0fdf682e4efd9dafaafd6d_3 . _：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4“Mirco Tribastone”。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4"4"^^._：Sig_2334a4fc0fdf682e4 efd4 dafaafd4 d_4 . _：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5“马克斯·柴可夫斯基”。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5"5"^^._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_5 . _：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6“安德烈·范丁”。_：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6 ._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6"6"^^._：Sig_2334a4fc0fdf682e4 efd4 dafaafd6 d_6 . . . . “1-14”。 “LICS”。 “LICS”。 "2021"^^. "2021"^^. . “dblp记录'conf/lics/0001BLTTV21'的RDF数据的出处信息”。 . . . “2024-05-07T20:10:05+0200”。