克里希南德·查特吉;马丁·奇梅利克;Daca,Przemysław公司 用于马尔可夫决策过程中定性属性的组合分析的CEGAR。 (英语) Zbl 1322.68137号 形式方法系统。设计。 47,第2期,230-264(2015).MSC公司:87年第68季度 60年第68季度 90立方厘米 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人,《形式方法系统》。设计。47,第2号,230--264(2015;Zbl 1322.68137) 全文: 内政部
迪马·埃伦博根;Shmuel Katz;斯特里赫曼(Ofer Strichman) 证明双方终止。 (英语) 兹比尔1322.68052 形式方法系统。设计。 47,第2期,204-229(2015).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Elenbogen}等人,《形式方法系统》。设计。47,第2号,204--229(2015;Zbl 1322.68052) 全文: 内政部
乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔,托马斯 Juggrnaut:使用图形语法抽象无限堆结构。 (英语) Zbl 1341.68033号 形式方法系统。设计。 47,第2期,159-203(2015).MSC公司:68第05页 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人,《形式方法系统》。设计。47,No.2,159--203(2015;Zbl 1341.68033) 全文: 内政部