@第{zbMATH06654480条，作者={Herbreteau，Fr{\'e}d{\'e}ric和Srivathsan，B.以及Walukiewicz，Igor}，Title={时间自动机的更好抽象}，FJournal={信息与计算}，日志={Inf.Comput.}，ISSN={0890-5401}，体积={251}，页码={67--90}，年份={2016年}，语言={英语}，DOI={10.1016/j.ic.2016.07.004}，关键词={68Q45}，zbMATH={6654480}，Zbl={1353.68166}}