奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 一种有效的可达性分析分布式算法。 (英语) 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) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 用于\(\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 1020.68107号 形式方法系统。设计。 21,第3期,317-338(2002).MSC公司:68宽10 PDF格式BibTeX公司 XML格式引用 \textit{T.Heyman}等人,《形式方法系统》。设计。21,第3号,317--338(2002;Zbl 1020.68107) 全文: 内政部