托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;沙兹·卡迪尔 从前历史到后现代的符号模型检验。 (英语) 兹比尔1074.68036 形式方法系统。设计。 23,第3期,303-327(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《形式方法系统》。设计。23,第3号,303--327(2003;Zbl 1074.68036) 全文: 内政部
乔治·德尔扎诺 参数化缓存一致性协议的基于约束的验证。 (英语) 兹比尔1073.68518 形式方法系统。设计。 23,第3期,257-301(2003).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},《形式方法系统》。设计。23,第3号,257--301(2003;Zbl 1073.68518) 全文: 内政部
布尔佐夫斯基,J。;埃西克,Z。 Hazard代数。 (英语) Zbl 1073.68883号 形式方法系统。设计。 23,第3223-256号(2003年).MSC公司:68岁20岁 2007年7月68日 94C12号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Brzozowski}和\textit{Z.e-sik},《形式方法系统》。设计。23,第3号,223--256(2003;Zbl 1073.68883) 全文: 内政部