马丁·亨森。;德意志,摩什;贝斯尼克·卡伊塔齐 规范逻辑\(\ nu\)Z。 (英语) Zbl 1105.68073号 正式Asp。计算。 18,第3期,364-395(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Henson}等人,《形式语法》。计算。18,第3号,364--395(2006;Zbl 1105.68073) 全文: 内政部
德意志,摩什;马丁·亨森。 在一个失败的范例中对精细化的分析。 (英语) Zbl 1105.68070号 正式Asp。计算。 18,第3期,329-363(2006).MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Deutsch}和\textit{M.C.Henson},正式Asp。计算。18,第3号,329--363(2006;Zbl 1105.68070) 全文: 内政部
史蒂夫·施耐德;Hoang,泰国儿子;肯·罗宾逊;海伦·特里哈恩 储罐监测:pAMN案例研究。 (英语) Zbl 1103.68636号 正式Asp。计算。 18,第3期,308-328(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Schneider}等人,正式Asp。计算。18,第3号,308--328(2006;Zbl 1103.68636) 全文: 内政部 链接
格雷姆·史密斯;约翰·德里克 使用模型检查器验证数据优化。 (英语) Zbl 1105.68074号 正式Asp。计算。 18,第3期,264-287(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Smith}和\textit{J.Derrick},正式Asp。计算。18,第3号,264--287(2006;Zbl 1105.68074) 全文: 内政部
安娜·卡瓦尔坎蒂;吉姆·伍德科克;史蒂夫·邓恩 程序设计统一理论中的天使般的不确定性。 (英语) 兹比尔1105.68012 正式Asp。计算。 18,第3期,288-307(2006).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人,《正式Asp》。计算。18,第3号,288--307(2006;Zbl 1105.68012) 全文: 内政部 链接