BibTeX记录conf/ijcai/BozzanoCRT11
@正在进行{DBLP:conf/ijcai/BozzanoCRT11， author={Marco Bozzano和 亚历山德罗·西马蒂和 Marco Roveri和 Andrei Tchaltsev}， editor={托比·沃尔什}， title={车载自主验证和确认的综合方法}， booktitle＝｛IJCAI｝2011，第22届国际联合会议记录 7月16日至22日，西班牙加泰罗尼亚巴塞罗那，人工智能， 2011}, 页码＝{2398-2403}， publisher={{IJCAI/AAAI}}， 年份={2011}， url={ https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-400 }, doi={10.5591/978-1-57735-516-8/IJCAI11-400}， timestamp={2021年10月14日星期四10:39:49+0200}， biburl={ https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
