罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（Ofer Strichman） 合成中的真空。 （英语） Zbl 1522.68297号 形式方法系统。设计。 57，第3号，473-495（2021）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《形式方法系统》。设计。57，编号3，473-495（2021；兹bl 1522.68297） 全文： 内政部
罗德里克·布洛姆;哈娜·乔克勒;马苏德·易卜拉希米;斯特里赫曼（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） 全文： 内政部 链接