BibTeX记录conf/lics/0001BLTTV21
@正在进行{DBLP:conf/lics/0001BLTTV21, author={乔治·巴奇和 乔瓦尼·巴奇和 Kim G.Larsen和 Mirco Tribastone和 Max Tschaikowski和 安德烈·范丁(Andrea Vandin), title={通过耦合的微分双模拟的有效局部计算 和Up-to方法}, booktitle={第36届年度{ACM/IEEE}计算机科学逻辑研讨会,{LICS} 2021年6月29日至2021年7月2日,意大利罗马}, 页数={1--14}, publisher={{IEEE}}, 年份={2021}, url={ https://doi.org/10.1109/LICS52264.2021.9470555 }, doi={10.1109/LICS52264.2021.9470555}, timestamp={2024年5月7日星期二20:10:05+0200}, biburl={ https://dblp.org/rec/conf/lics/0001BLTTV21.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }