布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（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） 全文： 内政部
哈娜·乔克勒；什巴希斯·古哈；奥尔纳·库普弗曼 定时真空。 （英语） Zbl 1460.68055号 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10951, 438-455 (2018).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人，莱克特。票据计算。科学。10951，438--455（2018；Zbl 1460.68055） 全文： 内政部
布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman） 合成非真空系统。 （英语） Zbl 1484.68096号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 55-72 (2017).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。票据计算。科学。10145，55-72（2017；Zbl 1484.68096） 全文： 内政部 链接
哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 超越空虚：走向最强的传递公式。 （英语） 兹比尔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） 全文： 内政部
哈娜·乔克勒；奥尔纳·库普弗曼；莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 （英语） 兹比尔1105.68075 形式方法系统。设计。 第3期第28页，第189-212页（2006年）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人，《形式方法系统》。设计。28，第3号，189--212（2006；Zbl 1105.68075） 全文： 内政部 链接