@文章{zbMATH06087632,作者={R\“udiger{Ehlers}},Title={符号有界综合},FJournal={{System Design中的形式方法},日记本{形式。方法系统。Des.}},ISSN={0925-9856},体积={40},数字={2},页数={232--262},年份={2012},Publisher={Springer US,纽约,纽约},语言{英语},DOI={10.1007/s10703-011-0137-x},MSC2010={68Q60 03B70},Zbl={1247.68163}}