BibTeX记录conf/memocode/BozzanoCRKNN09
@在过程中{DBLP:conf/memocode/BuzzanoCRKN09， 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}， biburl={ https://dblp.org/rec/conf/memocode/BozzanoCRKNN09.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
