斯特凡·舒尔泽·弗里林豪斯;赫尔穆特·塞德尔;拉尔夫·福格勒 强制终止过程间分析。 (英语) Zbl 1425.68083号 形式方法系统。设计。 53,第2期,313-338(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Schulze Frielinghaus}等人,《形式方法系统》。设计。53,No.2,313--338(2018;Zbl 1425.68083) 全文: 内政部 arXiv公司
皮埃尔·鲁克斯;元朗沃罗宁;桑卡拉纳拉亚南,斯里拉姆 验证多项式不变量的数值半定规划求解器。 (英语) Zbl 1425.68081号 形式方法系统。设计。 53,第2期,286-312(2018).MSC公司:68号30 65千5 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Roux}等人,《形式方法系统》。设计。53,第2号,286--312(2018;Zbl 1425.68081) 全文: 内政部 哈尔
弗朗西斯科·兰扎托 超模博弈的纳什均衡抽象。 (英语) 兹比尔1427.91014 形式方法系统。设计。 53,第2号,259-285(2018).MSC公司:91A10号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ranzato},表格方法系统。设计。53,第2号,259--285(2018;Zbl 1427.91014) 全文: 内政部 链接
马蒂厄·乔纳特;安托万·米内 通过抽象解释推断矩阵操作程序的功能属性。 (英语) Zbl 1425.68074号 形式方法系统。设计。 53,第2期,221-258(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Journault}和\textit{A.Miné},Form.Methods系统。设计。53,第2号,221--258(2018;Zbl 1425.68074) 全文: 内政部
Heo,Kihong先生;哦,哈乔;杨红seok 从静态分析生成的标记数据中学习Octagon的分析策略和上下文敏感性。 (英语) Zbl 1425.68070号 形式方法系统。设计。 53,第2期,189-220(2018).MSC公司:68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heo}等人,《形式方法系统》。设计。53,第2号,189--220(2018;Zbl 1425.68070) 全文: 内政部
邓朝强;Kedar S.Namjoshi。 保护编译器转换。 (英语) Zbl 1425.68060号 形式方法系统。设计。 53,第2期,166-188(2018).MSC公司:68N20型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Deng}和\textit{K.S.Namjoshi},表格方法系统。设计。53,第2号,166--188(2018;Zbl 1425.68060) 全文: 内政部
对手,泽维尔(编辑) 前言。 (英语) Zbl 1425.68017号 形式方法系统。设计。 第53165号(2018).MSC公司:68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{X.Rival}(编辑),《形式方法体系》。设计。53,No.2,165(2018;Zbl 1425.68017) 全文: 内政部