拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；奥尔纳·库普弗曼 交替时间时序逻辑。 （英语） Zbl 1326.68181号 美国临床医学杂志 49，第5期，672-713（2002）. 引用于306文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 关键词：交替；游戏；模型检查；时间轴逻辑 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人，J.ACM 49，No.5，672--713（2002；Zbl 1326.68181） 全文： 内政部 链接