@第{zbMATH02121783条，作者={Markey，Nicolas}，标题={过去是免费的：{On}用过去}验证线性时间属性的复杂性，FJournal={信息学报}，日志={Acta Inf.}，ISSN={0001-5903}，体积={40}，数字={6-7}，页码={431--458}，年份={2004}，语言={英语}，DOI={10.1007/s00236-003-0136-5}，关键词={68Q60,03B44}，zbMATH={2121783}，Zbl={1084.68073}}