BibTeX记录conf/icsrs/LanzaniSZCBT23
@进行中{DBLP:conf/icsrs/LanzaniSZCBT23， author={Isabella Lanzani和 里卡多·斯卡托里尼和 Enrico Zio和 亚历山德罗·西马蒂和 Marco Bozzano和 斯特凡诺·托内塔}， title={基于模型的故障安全评估的两种形式化方法 树分析}， booktitle={第七届系统可靠性和安全国际会议，{ICSRS} 2023年，意大利博洛尼亚，2023年11月22日至24日}， 页数={376--383}， publisher={{IEEE}}， 年份＝{2023}， url={ https://doi.org/10.1109/ICSRS59833.2023.10381356 }， doi={10.1109/ICSRS59833.2023.10381356}， 时间戳={2024年2月9日星期五20:38:51+0100}， biburl={ https://dblp.org/rec/conf/icsrs/LanzaniSZCBT23.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
