BibTeX记录conf/iceccs/BozzanoCM13
@正在进行{DBLP:conf/iceccs/BozzanoCM13, author={Marco Bozzano和 亚历山德罗·西马蒂和 克里斯蒂安·马塔雷(Cristian Mattarei), title={可靠性架构的自动分析}, booktitle={2013年第18届国际复杂计算机工程会议 Systems,新加坡,2013年7月17日至19日}, pages={198-207}, publisher={{IEEE}计算机协会}, 年份={2013}, url={ https://doi.org/10.109/ICECCS.2013.37 }, doi={10.1109/ICECCS.2013.37}, timestamp={2023年3月24日星期五00:02:11+0100}, biburl={ https://dblp.org/rec/conf/iceccs/BozzanoCM13.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }