尤尼特·凯斯滕;阿米尔·普努利;利奥·拉维夫;伊拉德·沙哈尔 模型检查具有很强的公平性。 (英语) Zbl 1100.68066号 形式方法系统。设计。 28,第1期,57-84(2006).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《形式方法系统》。设计。28,第1号,57--84(2006;Zbl 1100.68066) 全文: 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1082.68055号 Inf.计算。 200,第1期,35-61(2005).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。200,编号1,35--61(2005;Zbl 1082.68055) 全文: 内政部 链接
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) 兹比尔0983.68109 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
Y.Kesten。;马勒,O。;马库斯,M。;A.普努利。;沙哈尔,E。 使用丰富的断言语言进行符号模型检查。 (英语) Zbl 0973.68119号 西奥。计算。科学。 256,编号1-2,93-112(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,Theor。计算。科学。256,编号1--2,93-112(2001;Zbl 0973.68119) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 通过增强有限抽象进行验证。 (英语) Zbl 1003.68069号 Inf.计算。 163,第1期,203-243(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Inf.计算。163,编号1,203--243(2000;Zbl 1003.68069) 全文: 内政部 链接
Y.Kesten。;A.普努利。;J.西法基斯。;Yovine,S。 可判定的集成图。 (英语) Zbl 1045.68566号 Inf.计算。 150,第2期,209-243(1999).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。150,第2号,209--243(1999;Zbl 1045.68566) 全文: 内政部 链接