@第{zbMATH00562575条，作者={Alur，Rajeev和Dill，David L.}，Title={时间自动机理论}，FJournal={理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={126}，数字={2}，页码={183--235}，年份={1994}，语言={英语}，DOI={10.1016/0304-3975（94）90010-8}，关键词={68Q45,68Q60,68Q55}，zbMATH={562575}，Zbl={0803.68071}}