BibTeX记录conf/hvc/BozzanoCM13
@正在进行{DBLP:conf/hvc/BozzanoCM13， 作者=｛Marco Bozzano和 亚历山德罗·西马蒂和 克里斯蒂安·马塔雷（Cristian Mattarei）， 编辑={瓦莱丽亚·贝塔科和 Axel Legay}， title={通过谓词抽象对可靠性体系结构进行有效分析}， booktitle={硬件和软件：验证和测试-第九届国际 2013年11月在以色列海法举行的海法验证会议（{HVC}） 2013年5月7日，会议记录}， series={计算机科学讲稿}， 体积={8244}， 页数={279--294}， publisher＝{Springer}， 年份={2013}， url={ https://doi.org/10.1007/978-3-319-03077-7 \_19}, doi={10.1007/978-3-319-03077-7\_19}， timestamp={2019年6月2日，周日21:23:28+0200}， biburl={ https://dblp.org/rec/conf/hvc/BozzanoCM13.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
