@第{zbMATH02153166条，作者={Kesten，Yonit和Pnueli，Amir}，标题={组合方法{CTL}{{\（^*\）}}验证}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={331}，数字={2-3}，页码={397--428}，年份={2005}，语言={英语}，DOI={10.1016/j.tcs.2004.09.023}，关键词={68Q60,03B44,68Q85}，zbMATH={2153166}，Zbl={1079.68059}}