高思春;奥尔纳·格伦伯格;保罗·祖利亚尼 悼词:埃德蒙·梅尔森·克拉克(1945-2020)。 (英语) Zbl 1522.01062号 形式方法系统。设计。 60,第3号,327-328(2022).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Gao}等人,Form.Methods Syst。设计。60,第3号,327--328(2022;Zbl 1522.01062) 全文: 内政部
希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 线性丢番图方程和线性模方程的有效Craig插值。 (英语) Zbl 1186.68013号 形式方法系统。设计。 35,第1期,6-39页(2009年).MSC公司:2007年7月68日 60年第68季度 2004年11月11日 PDF格式BibTeX公司 XML格式引用 \textit{H.Jain}等人,《形式方法系统》。设计。35,第1号,第6--39号(2009;Zbl 1186.68013) 全文: 内政部 链接
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 一种有效的可达性分析分布式算法。 (英语) Zbl 1110.68075号 形式方法系统。设计。 29,第2期,157-175(2006).MSC公司:60年第68季度 68问题85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。29,第2号,157--175(2006;Zbl 1110.68075) 全文: 内政部
莎朗·巴纳;奥尔纳·格伦伯格 结合对称约简和欠近似进行符号模型检查。 (英语) Zbl 1085.68086号 形式方法系统。设计。 27,编号1-2,29-66(2005).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Barner}和\textit{O.Grumberg},《形式方法系统》。设计。27,编号1--2,29-66(2005;Zbl 1085.68086) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 用于\(\mu\)-演算的分布式符号模型检查。 (英语) Zbl 1083.68069号 形式方法系统。设计。 第26期,第2期,197-219页(2005年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。26,第2号,197--219(2005;Zbl 1083.68069) 全文: 内政部
凯伦·约拉夫;奥尔纳·格伦伯格 保持时序逻辑的状态空间约简的静态分析。 (英语) Zbl 1073.68055号 形式方法系统。设计。 25,第1期,67-96(2004).MSC公司:60年第68季度 68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Yorav}和\textit{O.Grumberg},《形式方法系统》。设计。25,第1号,67--96(2004;Zbl 1073.68055) 全文: 内政部
泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 一种用于超大规模电路可达性分析的可扩展并行算法。 (英语) Zbl 1020.68107号 形式方法系统。设计。 21,第3期,317-338(2002).MSC公司:68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Heyman}等人,《形式方法系统》。设计。21,第3号,317--338(2002;Zbl 1020.68107) 全文: 内政部
奥尔纳·格伦伯格(编辑) 特刊:CAV’97。1997年6月22日至25日在以色列海法举行的第九届计算机辅助验证国际会议论文集。 (英语) Zbl 0986.00060号 形式方法系统。设计。 18,第2号,93-168(2001).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}(编辑),《形式方法系统》。设计。18,第2号,93--168(2001;Zbl 0986.00060) 全文: 内政部
德莱恩,哈纳;奥尔纳·格伦伯格 用于验证实时分布式系统的模块化抽象。 (英语) Zbl 0774.68080号 形式方法系统。设计。 2,第1期,7-43(1993).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.De-Leon}和\textit{O.Grumberg},《形式方法系统》。设计。2,编号1,7--43(1993;Zbl 0774.68080) 全文: 内政部