@文章{zbMATH06312578，作者={Bloem、Roderick和Chatterjee、Krishnendu和Greimel、Karin和Henzinger、Thomas A.和Hofferek、Georg和Jobstmann、Barbara和K{“o}nighfer、Bettina和K{\”o}Nighfer，Robert}，标题={综合稳健系统}，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={51}，数字={3-4}，页码={193--220}，年份={2014}，语言={英语}，DOI={10.1007/s00236-013-0191-5}，关键词={93B35,93B50,68Q45}，zbMATH＝{6312578}，Zbl={1302.93079}}