@收款{zbMATH05124447，作者={Piterman、Nir和Pnueli、Amir和Sa'ar、Yaniv}，标题={反应性（1）设计的合成}，BookTitle={验证、模型检查和抽象解释。第七届国际会议，VMCAI 2006，查尔斯顿，南卡罗来纳州，美国，2006年1月8日至10日。诉讼}，ISBN＝{3-540-31139-4}，页码={364--380}，年份={2006}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/11609773}，关键词={68Q60,03B44,68N30,94C10}，zbMATH={5124447}，Zbl=｛1176.68126｝}