BibTeX记录conf/fm/BozzanoCCVV03
@正在进行{DBLP:conf/fm/BozzanoCCVV03， 作者=｛Marco Bozzano和 安东内拉·卡瓦洛和 马西莫·西法尔迪和 劳拉·瓦拉卡和 阿道夫·维拉菲奥里塔}， editor={Keijiro Araki和 Stefania Gnesi和 Dino Mandrioli}， title={改进复杂系统的安全评估：一个工业案例 研究}， booktitle={{FME}2003:形式方法，形式方法国际研讨会 欧洲，比萨，意大利，2003年9月8日至14日，会议记录}， series={计算机科学讲稿}， 体积={2805}， 页数={208--222}， publisher={Springer}， 年份={2003}， url={ https://doi.org/10.1007/978-3-540-45236-2 \_13}, doi={10.1007/978-3-540-45236-2\_13}， timestamp={2019年5月14日星期二10:00:46+0200}， biburl={ https://dblp.org/rec/conf/fm/BozzanoCCVV03.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
