BibTeX记录conf/safecomp/BozzanoV03
@正在进行{DBLP:conf/safecomp/BozzanoV03， author={Marco Bozzano和 阿道夫·维拉菲奥里塔}， editor={Stuart Anderson和 马西莫·费利奇和 Bev Littlewood}， title={通过模型检查提高系统可靠性：FSAP/NuSMV-SA 安全分析平台}， booktitle={计算机安全、可靠性和安全，第22届国际会议， {SAFECOMP}2003年，英国爱丁堡，2003年9月23日至26日，会议记录}， series={计算机科学讲稿}， 体积={2788}， 页数={49--62}， publisher={Springer}， 年份＝{2003}， url={ https://doi.org/10.1007/978-3-540-39878-3 \_5}, doi={10.1007/978-3-540-39878-3\5}， timestamp={2019年6月2日，周日21:26:43+0200}， biburl={ https://dblp.org/rec/conf/safecomp/BozzanoV03.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
