Gopalakrishnan,Ganesh L。(编辑);沙兹·卡迪尔(编辑) 前言。 (英语) 兹比尔1284.68015 形式方法系统。设计。 41,第1、3号(2012).MSC公司:68-06 00B25型 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Gopalakrishnan}(编辑)和\textit{S.Qadeer}(编),《形式方法系统》。设计。41、第1、3号(2012;Zbl 1284.68015) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;沙兹·卡迪尔 从前历史到后现代的符号模型检验。 (英语) Zbl 1074.68036号 形式方法系统。设计。 23,第3期,303-327(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《表格方法系统》。设计。23,第3号,303--327(2003;Zbl 1074.68036) 全文: 内政部
阿鲁尔,R。;布雷顿,R.K。;亨廷格,T.A。;卡迪尔,S。;拉贾马尼,S.K。 符号状态空间探索中的部分顺序缩减。 (英语) Zbl 1001.68080号 形式方法系统。设计。 18,第2期,97-116(2001).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。18,第2号,97--116(2001;Zbl 1001.68080) 全文: 内政部