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}， 发布者＝{{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}， 比布尔={ https://dblp.org/rec/conf/ijcai/BozzanoCRT11.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
