BibTeX记录conf/safecomp/BozzanoV03
@正在进行{DBLP:conf/safecomp/BozzanoV03, author={Marco Bozzano和 阿道夫·维拉菲奥里塔}, editor={Stuart Anderson和 马西莫·费利西和 贝夫·利特伍德}, 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}, 比布尔={ https://dblp.org/rec/conf/safecomp/BozzanoV03.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }