奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 一种有效的可达性分析分布式算法。 (英语) Zbl 1110.68075号 形式方法系统。设计。 29,第2期,157-175(2006).MSC公司:第68季度第60季度 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公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《形式方法系统》。设计。26,第2197-219号(2005年;兹bl 1083.68069) 全文: 内政部
杰森·鲍姆加特纳;泰米尔·海曼;Vigyan Singhal公司;阿德南·阿齐兹 一种用于验证基于锁存的级别敏感网表的抽象算法。 (英语) Zbl 1065.68068号 形式方法系统。设计。 23,编号1,39-65(2003).MSC公司:第68季度第60季度 68米15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumgartner}等人,《形式方法系统》。设计。23,第1号,第39-65页(2003年;Zbl 1065.68068) 全文: 内政部
泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 一种用于超大规模电路可达性分析的可扩展并行算法。 (英语) 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) 全文: 内政部
亚埃尔·阿巴本尔·维诺夫;Aizenbud-Reshef,内塔;啤酒,伊兰;辛迪·艾斯纳;丹尼尔·盖斯特;泰米尔·海曼;尤维尼、艾丽斯;伊兰·里佩尔;伊里特·希茨瓦洛夫;Wolfsthal,纱线;塔利Yatzkar-Haham 关于功能形式化验证的有效部署。 (英语) Zbl 0994.68579号 形式方法系统。设计。 19,第1期,35-44(2001).MSC公司:68单位99 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Y.Abarbanel-Vinov}等人,《形式方法系统》。设计。19,第1号,35-44(2001年;兹bl 0994.68579) 全文: 内政部