Domagoj Babić;雷诺,丹尼尔;宋,黎明 利用树自动机推理识别恶意软件行为。 (英语) Zbl 1284.68164号 形式方法系统。设计。 41,第1期,107-128(2012).MSC公司:68号30 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人,《形式方法系统》。设计。41,编号107-128(2012年;兹bl 1284.68164) 全文: 内政部
彼得·哈贝梅尔;卢卡什·霍利克;亚当·罗加列维奇;Šimáckek,Jiří;汤姆·沃纳 用于验证堆操作的森林自动机。 (英语) Zbl 1284.68398号 形式方法系统。设计。 41,第1期,83-106(2012).MSC公司:第68季度第60季度 65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Habermehl}等人,《形式方法系统》。设计。41,第1号,第83-106条(2012;Zbl 1284.68398) 全文: 内政部
拜伦·库克;埃里克·科斯基宁;瓦尔迪,摩西 作为程序分析任务的时间属性验证。 (英语) Zbl 1284.68171号 形式方法系统。设计。 41,第1期,66-82(2012).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。41,第1号,66--82(2012;Zbl 1284.68171) 全文: 内政部 链接
瓦莱里·巴拉巴诺夫;蒋洁红R。 统一的QBF认证及其应用。 (英语) Zbl 1284.68516号 形式方法系统。设计。 第41期,第1期,第45-65页(2012年).MSC公司:68吨15 03B35型 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Balabanov}和\textit{J.-H.R.Jiang},表格方法系统。设计。41,第1号,45-65(2012;Zbl 1284.68516) 全文: 内政部
阿拉斯泰尔·唐纳森。;亚历山大皇帝;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 对称并发程序的反示例引导抽象细化。 (英语) Zbl 1284.68179号 形式方法系统。设计。 第41期,第1期,第25-44页(2012年).MSC公司:68号30 第68季度第60季度 第68页第19页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。41、第1号、第25-44号(2012年;Zbl 1284.68179) 全文: 内政部 链接
Lee,Oukseh先生;杨红seok;拉斯穆斯·彼得森 用于分析重叠数据结构的分治方法。 (英语) 兹比尔1284.68407 形式方法系统。设计。 41,第1期,4-24(2012).MSC公司:第68季度第60季度 68第05页 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Lee}等人,《形式方法系统》。设计。41、第1、4--24号(2012;Zbl 1284.68407) 全文: 内政部
戈帕拉克里希南,Ganesh L。(编辑);沙兹·卡迪尔(编辑) 前言。 (英语) Zbl 1284.68015号 形式方法系统。设计。 41,第1、3号(2012).MSC公司:68-06 00B25型 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan}(编辑)和\textit{S.Qadeer}(编),《形式方法系统》。设计。41、第1、3号(2012;Zbl 1284.68015) 全文: 内政部