比杰西,佩尔 用于无限硬件模型检查的字级位宽度缩减。 (英语) Zbl 1186.68279号 形式方法系统。设计。 35,第1期,第56-72页(2009年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bjesse},表格。方法系统。设计。35,编号1,56--72(2009;Zbl 1186.68279) 全文: 内政部
安德烈·普拉泽;埃德蒙·克拉克(Edmund M.Clarke)。 计算混合系统的微分不变量作为不动点。 (英语) Zbl 1180.93024号 形式方法系统。设计。 35,第1期,98-120(2009).MSC公司:93B11号机组 47N10号 PDF格式BibTeX公司 XML格式引用 \textit{A.Platzer}和\textit{E.M.Clarke},《形式方法系统》。设计。35,第1号,98-120(2009年;Zbl 1180.93024) 全文: 内政部
阿卡什·拉尔;代表,托马斯 减少上下文绑定到顺序分析的并发分析。 (英语) Zbl 1186.68298号 形式方法系统。设计。 35,第1期,73-97(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Lal}和\textit{T.Reps},表单方法系统。设计。35,第1号,73-97(2009年;兹bl 1186.68298) 全文: 内政部 链接
辛迪·艾斯纳;阿米尔·纳希尔;凯伦·约拉夫 通过组合推理对功率选通设计进行功能验证。 (英语) Zbl 1185.68130号 形式方法系统。设计。 35,第1号,40-55(2009).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,《形式方法系统》。设计。35,第1号,40-55(2009;Zbl 1185.68130) 全文: 内政部
希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 (英语) Zbl 1186.68013号 形式方法系统。设计。 35,第1期,6-39页(2009年).MSC公司:2007年7月68日 60年第68季度 2004年11月11日 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人,《形式方法系统》。设计。35,第1号,第6--39号(2009;Zbl 1186.68013) 全文: 内政部 链接
沙拉德·马利克(编辑);阿尔蒂·古普塔(编辑) 特刊:第20届计算机辅助验证国际会议(CAV’08),美国新泽西州普林斯顿,2008年7月7日至14日。选定论文的扩展版本。 (英语) Zbl 1194.93006号 形式方法系统。设计。35,第1期,120页。(2009). MSC公司:93-06 93亿B51 00B25型 PDF格式BibTeX公司 XML格式