菲克斯,利莫;奥尔纳·格伦伯格;阿蒙·海曼;泰米尔·海曼;阿萨夫·舒斯特 使用100种及以上工艺验证超大工业电路。 (英语) Zbl 1107.68428号 发现的国际期刊。计算。科学。 18,第1号,45-61(2007).MSC公司:60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{L.Fix}等人,发现国际期刊。计算。科学。18,第1号,45--61(2007;Zbl 1107.68428) 全文: 内政部
奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 用于\(\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) 全文: 内政部