BibTeX记录日志/tocl/AnevlavisPNT22
@文章{DBLP:journals/tocl/AnevlavisPNT22， author={Tzanis Anevlavis和 马修·菲利普和 丹尼尔·奈德和 保罗·塔布阿达}， title={正确是不够的：使用鲁棒线性进行有效验证 时间逻辑}， 日志={{ACM}事务。 计算。 日志}， 体积={23}， 数字={2}， 页数={8:1--8:39}， 年份={2022}， url={ https://doi.org/10.1145/3491216 }, doi={10.1145/3491216}， timestamp={2023年6月26日星期一20:57:09+0200}， biburl={ https://dblp.org/rec/journals/tocl/AnevlavisPNT22.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
