拉杰夫·阿鲁尔;大卫·L·迪尔。 时间自动机理论。 (英语) Zbl 0803.68071号 西奥。计算。科学。 126,第2期,183-235(1994).MSC公司:65年第68季度 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.L.Dill},Theor。计算。科学。126,第2号,183--235(1994;Zbl 0803.68071) 全文: 内政部
拉杰夫·阿鲁尔;大卫·迪尔 用于实时系统建模的自动机。 (英语) Zbl 0765.68150号 自动化、语言和编程、Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 322-335 (1990).MSC公司:65年第68季度 60年第68季度 第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Dill},Lect。注释计算。科学。443、322--335(1990年;Zbl 0765.68150)