弗雷德·克罗格;斯蒂芬·默兹 时间逻辑和状态系统。 （英语） Zbl 1169.03001号 理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-540-67401-6）。xii，第433页。(2008). 审核人：达马斯·格鲁斯卡（布拉迪斯拉发） MSC公司：03-02 03B44号 03B70号 68-02 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger}和\textit{S.Merz}，时间逻辑和状态系统。柏林：施普林格出版社（2008；Zbl 1169.03001） 全文： 内政部
斯蒂芬·默兹 在\（\text{TLA}^+\）的逻辑上。 （英语） Zbl 1104.68364号 计算。通知。 22，编号3-4，351-379（2003）. 审核人：加布里埃尔·奥克萨（布拉迪斯拉发） MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，计算。通知。22，编号3--4，351--379（2003；Zbl 1104.68364）