BibTeX记录conf/setta/ZhaoZCLW20
@正在进行{DBLP:conf/setta/ZhaoZCLW20， author={赵恒军和 夏曾和 陈陶璐和 刘志明和 吉姆·伍德科克}， editor={Jun Pang和 张立军}， title={学习具有屏障证书的安全神经网络控制器}， booktitle＝｛可靠的软件工程。理论、工具和应用程序 -第六届国际研讨会，{SETTA}2020，中国广州，11月 2020年24月27日，会议记录}， series={计算机科学讲义}， 体积={12153}， 页数={177--185}， publisher={Springer}， 年份={2020年}， url={ https://doi.org/10.1007/978-3-030-62822-2 \_11}, doi={10.1007/978-3-030-62822-2\_11}， timestamp={2023年2月17日星期五09:02:01+0100}， biburl={ https://dblp.org/rec/conf/setta/ZhaoZCLW20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
