拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。 一个真正的时间逻辑。 (英语) Zbl 0807.68065号 J.协会计算。机器。 41,第1期,181-204(1994). 引用于107文件 理学硕士: 60年第68季度 规范和验证(程序逻辑、模型检查等) 03B70型 计算机科学中的逻辑 关键词:时序逻辑;实时系统;冻结量词;基于表格的决策过程;模型检查算法 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{T.A.Henzinger},J.协会计算。机器。41,第1号,181--204(1994;Zbl 0807.68065) 全文: 内政部