Thuan Quang Huynh;阿比克·罗伊乔杜里 内存模型敏感字节码验证。 (英语) Zbl 1131.68061号 表格方法系统。设计。 第3281-305号第31页(2007年).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Q.Huynh}和\textit{A.Roychoudhury},《形式与方法系统》。设计。31,第3号,281--305(2007;Zbl 1131.68061) 全文: 内政部
萨尔瓦多拉托雷;那不勒斯,玛格丽塔;帕伦特,米姆 语法描述的可视下推语言的单词问题。 (英语) Zbl 1131.68053号 表格方法系统。设计。 31,第3期,265-279(2007).MSC公司:65年第68季度 03D40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.La Torre}等人,《形式方法系统》。设计。31,第3号,265--279(2007;Zbl 1131.68053) 全文: 内政部
佐尔坦·阿达姆·曼;奥尔班,安德拉斯;佩特·阿拉特 寻找最佳硬件/软件分区。 (英语) Zbl 1131.68119号 表格方法系统。设计。 31,第3期,241-263(2007).MSC公司:68周05 90C05(二氧化碳) 68M99型 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.A.Mann}等人,《表格方法系统》。设计。31,第3号,241--263(2007;Zbl 1131.68119) 全文: 内政部
克拉克·巴雷特;莱昂纳多·德·莫拉;阿伦·斯塔姆 第二届年度可满足性模理论竞赛(SMT-COMP 2006)的设计和结果。 (英语) Zbl 1129.68498号 表格方法系统。设计。 31,第3期,221-239(2007).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{C.Barrett}等人,《形式方法系统》。设计。31,第3221-239号(2007年;兹bl 1129.68498) 全文: 内政部
西斯特拉·A·普拉萨德;王晓东;周敏(Zhou,Min) 使用保护商结构检查扩展CTL属性。 (英语) Zbl 1130.68075号 表格方法系统。设计。 第3期第31期,197-219页(2007年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人,《形式方法系统》。设计。31,第3号,197--219(2007;Zbl 1130.68075) 全文: 内政部