@第{zbMATH06770419条，作者={Vasile、Cristian-Ioan和Aksaray、Derya和Belta、Calin}，标题={时间窗口时序逻辑}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={691}，页码={27--54}，年份={2017年}，语言={英语}，DOI={10.1016/j.tcs.2017.07.012}，关键词={68Q60,03B44,68Q45}，zbMATH={6770419}，Zbl={1372.68178}}