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