李毅;董金松;孙静;刘,杨;孙骏 自动化规划的模型检查方法。 (英语) Zbl 1291.68263号 形式方法系统。设计。 44,编号2176-202(2014).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《形式方法系统》。设计。44,第2号,176--202(2014;Zbl 1291.68263) 全文: 内政部 链接
阿夫尼,盖伊;奥尔纳·库普弗曼 用于触发器查询的抽象重新定义框架。 (英语) Zbl 1291.68242号 形式方法系统。设计。 44,第2期,149-175(2014).MSC公司:60年第68季度 第68季度第45季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},《形式方法系统》。设计。44,第2号,149--175(2014;Zbl 1291.68242) 全文: 内政部
托马斯·马丁·高利察;赫尔穆特·塞德尔 通过凸松弛和最大策略迭代实现数值不变量。 (英语) Zbl 1291.68256号 形式方法系统。设计。 44,第2期,101-148(2014).MSC公司:60年第68季度 90立方厘米25 47时10分 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{H.Seidl},《形式方法系统》。设计。44,No.2,101--148(2014;Zbl 1291.68256) 全文: 内政部 arXiv公司