拉杰夫·阿鲁尔;费德,托马斯;托马斯·亨辛格(Thomas A.Henzinger)。 放松守时的好处。 (英语) Zbl 0882.68021号 美国临床医学杂志 43,第1期,116-146(1996). 引用于2评论引用于117文件 MSC公司: 68甲15 编程语言理论 关键词:实时系统;时态语言 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,J.ACM 43,No.1,116--146(1996;Zbl 0882.68021) 全文: 内政部 链接 链接