杰森·鲍姆加特纳;泰米尔·海曼;Vigyan Singhal公司;阿德南·阿齐兹 一种用于验证基于锁存的级别敏感网表的抽象算法。 (英语) Zbl 1065.68068号 形式方法系统。设计。 23,第1号,39-65(2003).MSC公司:60年第68季度 68米15 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Baumgartner}等人,《形式方法系统》。设计。23,第1号,第39-65页(2003年;Zbl 1065.68068) 全文: 内政部
阿努吉·戈尔;库拉姆·萨吉德;周,海;阿德南·阿齐兹;Vigyan Singhal公司 基于BDD的程序,用于具有未知函数的等式理论。 (英语) Zbl 1021.68057号 形式方法系统。设计。 22,第3期,205-224(2003).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.Goel}等人,《形式方法系统》。设计。22,编号3205-224(2003年;Zbl 1021.68057) 全文: 内政部
阿德南·阿齐兹;托马斯·希普尔;Vigyan Singhal公司;罗伯特·布雷顿;阿尔贝托Sangiovanni-Vincentelli 组合CTL模型检查的依赖于公式的等效性。 (英语) Zbl 1019.68064号 形式方法系统。设计。 21,第2期,193-224(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Aziz}等人,《形式方法系统》。设计。21,第2号,193--224(2002;Zbl 1019.68064) 全文: 内政部