弗雷德·克罗格;斯蒂芬·默兹 时间逻辑和状态系统。 (英语) 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)