尤尼特·凯斯滕;阿米尔·普努利;利奥·拉维夫;伊拉德·沙哈尔 模型检查具有很强的公平性。 (英语) 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) 全文: 内政部
凯斯滕,约尼特;阿米尔·普努利 CTL(^*\)验证的组合方法。 (英语) Zbl 1079.68059号 西奥。计算。科学。 331,编号2-3,397-428(2005).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Theor。计算。科学。331,编号2--3397--428(2005;Zbl 1079.68059) 全文: 内政部
凯斯滕,约尼特;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 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) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 通过增强有限抽象进行验证。 (英语) Zbl 1003.68069号 Inf.计算。 163,第1期,203-243(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}和\textit{A.Pnueli},Inf.计算。163,编号1203-243(2000年;兹bl 1003.68069) 全文: 内政部 链接
多龙·贝利德;阿米尔·普努利 证明部分顺序属性。 (英语) Zbl 0803.68070号 西奥。计算。科学。 126,第2期,143-182(1994).MSC公司:第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},Theor。计算。科学。126,第2号,143--182(1994;Zbl 0803.68070) 全文: 内政部
A.普努利。;沙列夫,M。 步骤是什么:状态图的语义。 (英语) Zbl 1493.68121号 Ito,Takayasu(编辑)等人,《计算机软件的理论方面》。1991年9月24日至27日在日本仙台举行的TACS’91国际会议。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。526, 244-264 (1991).MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}和\textit{M.Shalev},莱克特。注释计算。科学。526244--264(1991年;Zbl 1493.68121) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 完成时间图片。 (英语) Zbl 0795.68133号 西奥。计算。科学。 83,第1期,97-130(1991).MSC公司:60年第68季度 2010年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Theor。计算。科学。83,第1号,97--130(1991;Zbl 0795.68133) 全文: 内政部