BibTeX记录conf/memocode/BozzanoCRKNN09
@正在进行{DBLP:conf/memocode/BozzanoCRKNN09, author={Marco Bozzano和 亚历山德罗·西马蒂和 Marco Roveri和 乔斯特 {-}皮特 卡托恩和 越南日元和 托马斯·诺尔, title={可靠系统的协同设计:{A}基于组件的建模语言}, booktitle={第七届{ACM/IEEE}形式方法和模型国际会议 2009年7月13日至15日,马萨诸塞州剑桥,Codesign{(MEMOCODE}2009), {美国}}, 页数={121--130}, publisher={{IEEE}}, 年份={2009}, url={ https://doi.org/10.109/MEMCOD.2009.5185388 }, doi={10.1109/MEMCOD.2009.5185388}, timestamp={2021年10月14日星期四10:32:49+0200}, 比布尔={ https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib }, bibsource={dblp计算机科学书目, 网址:https://dblp.org } }