@第{zbMATH07152280条，作者={Murano，Aniello and Parente，Mimmo and Rubin，Sasha and Sorrentino，Loredana}，Title={具有有限路径语义的模型检查分级计算树逻辑}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={806}，页码={577--586}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2019.09.021}，关键词={68Q60,03B44,68Q17}，zbMATH={7152280}，Zbl={1436.68197}}