BibTeX记录conf/tacas/BozzanoCGJ22
@正在进行{DBLP:conf/tacas/BozzanoCGJ22, author={Marco Bozzano和 亚历山德罗·西马蒂和 阿尔贝托·格里乔和 马丁·乔恩, editor={Dana Fisman和 格里戈·罗苏}, title={基于布尔函数的循环冗余体系结构的有效分析 故障传播}, booktitle={系统构建和分析的工具和算法 -2022年第28届国际会议,{TACAS},作为 欧洲软件理论与实践联合会议 2022年,德国慕尼黑,2022年4月2日至7日,会议记录,第{II}}部分, series={计算机科学讲稿}, 体积={13244}, 页数={273--291}, publisher={Springer}, 年份={2022}, url={ https://doi.org/10.1007/978-3-030-99527-0 \_15} , doi={10.1007/978-3-030-99527-0\_15}, timestamp={2022年4月29日星期五14:50:33+0200}, biburl={ https://dblp.org/rec/conf/tacas/BozzanoCGJ22.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }