BibTeX记录conf/formats/LiMFS018
@正在进行{DBLP:conf/formats/LiMFS018， author={李美伦和 彼得·纳齐尔·莫萨德和 Martin Fr{\“{a}}nzle和 She Zhikun和 白雪}， editor={David N.Jansen和 Pavithra Prabhakar}， title={自治可达集的安全过逼近和欠逼近 动力系统}， booktitle={时间系统的形式化建模与分析-第16届国际 2018年会议，{FORMATS}，中国北京，2018年9月4-6日，会议记录}， series={计算机科学讲稿}， 体积={11022}， 页数={252--270}， publisher={Springer}， 年份={2018年}， url={ https://doi.org/10.1007/978-3-030-00151-3 \_15}, doi={10.1007/978-3-030-00151-3\_15}， 时间戳＝{2022年6月23日星期四19:57:08+0200}， 比布尔={ https://dblp.org/rec/conf/formats/LiMFS018.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
