@第{zbMATH07191326条，作者={博洛托夫、亚历山大和赫莫、蒙特塞拉特和卢西奥、帕基}，Title={分支时间逻辑{{\（\mathsf{ECTL}^{#}\）}}及其树型单程表：扩展{{\，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={813}，页码={428--451}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2020.20.015}，关键词={03B44.68Q60}，zbMATH={7191326}，Zbl={1433.03049}}