@文章{zbMATH07285588，作者={Chiari、Michele和Mandrioli、Dino和Pradella、Matteo}，标题＝{运算符优先时间逻辑和模型检查}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={848}，页码={47--81}，年份={2020年}，语言={英语}，DOI={10.1016/j.tcs.2020.08.034}，关键词={68Q60,03B44,68Q45}，URL={hdl.handle.net/11311/1150413}，zbMATH={7285588}，Zbl={1464.68197}}