@第{zbMATH05133057条，作者={Demri，St{\ee}phane和D’Souza，Deepak}，Title={约束{LTL}}的自动机理论方法，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN＝{0890-5401}，体积={205}，数字={3}，页码={380--415}，年份={2007}，语言={英语}，DOI={10.1016/j.ic.2006.09.006}，关键词={03B44,03B70,68Q60,03D05,03B25}，zbMATH={5133057}，Zbl={1113.03015}}