贝尔曼,G。;拉森,K.G。;安德森,H.R。;Hulgaard,H。;林德·尼尔森,J。 使用可重用性和组合性验证分层状态/事件系统。 (英语) Zbl 1019.68060号 形式方法系统。设计。 21,第2期,225-244(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Behrmann}等人,《形式方法系统》。设计。21,第2号,225--244(2002;Zbl 1019.68060) 全文: 内政部
阿德南·阿齐兹;托马斯·希普尔;Vigyan Singhal公司;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 组合CTL模型检查的依赖于公式的等效性。 (英语) Zbl 1019.68064号 形式方法系统。设计。 21,第2期,193-224(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aziz}等人,《形式方法系统》。设计。21,第2号,193--224(2002;Zbl 1019.68064) 全文: 内政部
珍妮特·莫恩克;保罗·莫里托;沙拉德·马利克 使用签名进行置换无关布尔比较的限制。 (英语) Zbl 1019.68062号 形式方法系统。设计。 21,第2期,167-191(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Mohnke}等人,Form.Methods Syst。设计。21,第2号,167--191(2002;Zbl 1019.68062) 全文: 内政部
H·鲍曼。;斯蒂恩,M.W.A。;博伊滕,E.A。;J·德里克。 视点一致性的正式框架。 (英语) Zbl 1019.68061号 形式方法系统。设计。 21,第2期,111-166(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Bowman}等人,《形式方法系统》。设计。21,No.2,111--166(2002;Zbl 1019.68061) 全文: 内政部