BibTeX记录conf/mochart/BertoliBC06
@正在进行{DBLP:conf/mochart/BertoliBC06， author={Piergiorgio Bertoli和 Marco Bozzano和 亚历山德罗·西马蒂}， editor={Stefan Edelkamp和 阿莱西奥·洛穆西奥}， title={安全分析、诊断、， 和合成}， booktitle={模型检查和人工智能，第四次研讨会，MoChArt 四、 意大利Riva del Garda，2006年8月29日，经修订的精选和邀请 论文}， series={计算机科学讲稿}， 体积={4428}， 页数={1--18}， publisher={Springer}， 年份＝{2006}， url={ https://doi.org/10.1007/978-3-540-74128-2 \_1}, doi={10.1007/978-3-540-74128-2\_1}， timestamp={2019年6月2日，周日21:26:24+0200}， biburl={ https://dblp.org/rec/conf/mochart/BertoliBC06.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
