@第{zbMATH06087619条，作者={Filiot，Emmanuel and Jin，Naiyong and Raskin，Jean-Fran{\c{c}}ois}，标题={LTL}合成的反链和合成算法}，FJournal＝{系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={39}，数字={3}，页码={261--296}，年份={2011}，语言={英语}，DOI={10.1007/s10703-011-0115-3}，关键词={03D05,03B44,68Q45,91A80}，zbMATH={6087619}，Zbl={1258.03046}}