BibTeX记录日志/corr/abs-2402-17167
@文章{DBLP:journals/corr/abs-2402-17167， author={李永汉和 吴晨瑜和 Taoran Wu和 王世杰和 白雪}， title={匡威有限时间安全验证屏障证书 连续时间摄动确定性系统}， 日志={CoRR}， 体积={abs/2402.17167}， 年份={2024}， url={ https://doi.org/10.48550/arXiv.2402.17167 }, doi={10.48550/ARXIV.2402.17167}， eprinttype={arXiv}， eprint={2402.17167}， timestamp={2024年3月25日星期一15:38:17+0100}， biburl={ https://dblp.org/rec/journals/corr/abs-2402-17167.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
