BibTeX记录conf/cav/FengC00Z20
@进行中{DBLP:conf/cav/FengC00Z20， author={冯胜华和 陈明帅和 白雪和 Sriram Sankaranarayanan和 Naijun Zhan， editor={Shuvendu K.Lahiri和 王超}， title={随机微分动力学的无限时间安全验证}， booktitle={计算机辅助验证-第32届国际会议，{CAV} 2020年，美国加利福尼亚州洛杉矶，2020年7月21日至24日，会议记录，第{II}}部分， series={计算机科学讲义}， 体积={12225}， 页数={327--348}， publisher={Springer}， 年份={2020年}， url={ https://doi.org/10.1007/978-3-030-53291-8 \_18}, doi={10.1007/978-3-030-53291-8}， timestamp={2020年8月12日星期三15:15:44+0200}， biburl={ https://dblp.org/rec/conf/cav/FengC00Z20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
