@收款{zbMATH05945212，作者={Baier，Christel and Klein，Joachim and Kl{“u}ppelholz，Sascha}，标题={控制器综合的组合框架}，BookTitle={CONCUR 2011---并发理论。第22届国际会议，CONCUR 2011，德国亚琛，2011年9月6-9日。诉讼}，国际标准图书编号={978-3-642-23216-9}，Pages＝{512-527}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-23217-6_34}，关键词={68Q85,93B50}，zbMATH={5945212}，Zbl=｛1329.68182｝}