BibTeX记录conf/iceccs/BozzanoCM13
@正在进行{DBLP:conf/iceccs/BozzanoCM13， author={Marco Bozzano和 亚历山德罗·西马蒂和 克里斯蒂安·马塔雷（Cristian Mattarei）， title={可靠性架构的自动分析}， booktitle={2013年第18届国际复杂计算机工程会议 Systems，新加坡，2013年7月17日至19日}， 页数={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}， 比布尔={ https://dblp.org/rec/conf/iceccs/BozzanoCM13.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
