朱利安·布拉德菲尔德;科林·斯特林 无限状态空间的局部模型检查。 （英语） Zbl 0747.68036号 西奥。计算。科学。 96，第1期，157-174（1992）。MSC公司：60年第68季度 68问题85 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Bradfield}和\textit{C.Stirling}，Theor。计算。科学。96，第1号，157--174（1992；Zbl 0747.68036） 全文： 内政部
朱利安·查尔斯·布拉德菲尔德 验证系统的时间属性。 （英语） Zbl 0753.68065号 理论计算机科学进展。马萨诸塞州波士顿等地：Birkhäuser。viii，113页（1992年）。 审核人：L.S.Brim（布尔诺） MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Bradfield}，验证系统的时间属性。马萨诸塞州波士顿等：Birkhäuser（1992；Zbl 0753.68065）
安徒生，Henrik Reif;格林·温斯克尔 满意度的成分检查。 （英语） Zbl 0776.68083号 形式方法系统。设计。 1，第4期，323-354（1992）。 审核人：H.R.安徒生 MSC公司：60年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.R.Andersen}和\textit{G.Winskel}，《形式方法系统》。设计。1，第4号，323--354（1992；Zbl 0776.68083） 全文： 内政部
施林格洛夫，伯恩德·霍尔格 关于模态逻辑在树上的表达能力（扩展抽象）。 （英语） Zbl 0978.03523号 Nerode，A.（编辑）等人，《计算机科学的逻辑基础》。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。620, 441-451 (1992).MSC公司：03B70号 03B44号 03B45号 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.-H.施林格洛夫}，莱克特。注释计算。科学。620、441--451（1992年；Zbl 0978.03523）