罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 反应合成中的特定鲁棒性。 (英语) Zbl 07683089号 形式方法系统。设计。 60,第2号,259-276(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。60,第2号,259--276(2022;Zbl 07683089) 全文: 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼(Ofer Strichman) 合成中的真空。 (英语) Zbl 1522.68297号 形式方法系统。设计。 57,第3号,473-495(2021).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《形式方法系统》。设计。57,编号3,473--495(2021;Zbl 1522.68297) 全文: 内政部
哈娜·乔克勒(编辑);乔治·威森巴赫(编辑) 2018年计算机辅助验证会议特刊前言。 (英语) 兹比尔1519.68003 形式方法系统。设计。 57,第1期,第1-2期(2021年).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}(编辑)和\textit{G.Weissenbacher}(主编),《形式方法系统》。设计。57,编号1,1--2(2021;Zbl 1519.68003) 全文: 内政部
哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼(Ofer Strichman) 超越空虚:走向最强的传递公式。 (英语) Zbl 1291.68253号 形式方法系统。设计。 43,第3期,552-571(2013).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。43,No.3,552--571(2013;Zbl 1291.68253) 全文: 内政部
啤酒,伊兰;肖姆·本·达维德;哈娜·乔克勒;阿维盖尔·奥尔尼;理查德·特雷弗勒 用因果关系解释反例。 (英语) Zbl 1247.68158号 形式方法系统。设计。 40,第1期,20-40(2012).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Beer}等人,《形式方法系统》。设计。40、1号、20--40(2012;Zbl 1247.68158) 全文: 内政部
哈娜·乔克勒;斯特里赫曼(Ofer Strichman) 真空前后。 (英语) Zbl 1165.68402号 形式方法系统。设计。 34,第1期,37-58(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}和\textit{O.Strichman},《形式方法系统》。设计。34,第1号,37-58(2009;Zbl 1165.68402) 全文: 内政部
哈娜·乔克勒;奥尔纳·库普弗曼;莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 (英语) Zbl 1105.68075号 形式方法系统。设计。 28,第3期,189-212(2006).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。28,编号3,189-212(2006年;Zbl 1105.68075) 全文: 内政部 链接