尼尔·皮特曼;阿米尔·普努利 时间逻辑和公平离散系统。 (英语) Zbl 1392.68263号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。27-73 (2018).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}和\textit{A.Pnueli},in:模型检查手册。查姆:斯普林格。27-73(2018;Zbl 1392.68263) 全文: 内政部
伊塔·巴拉班;阿米尔·普努利;Lenore D.扎克。 证明被反驳:符号模型检查器作为证明生成器。 (英语) Zbl 1274.68174号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿5930,221-236(2010)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{I.Balaban}等人,Lect。注释计算。科学。5930221-236(2010年;兹比尔1274.68174) 全文: 内政部
彼得·尼伯特;多龙·贝利德;阿米尔·普努利 鉴别模型检查。 (英语) Zbl 1155.68444号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议,CAV 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。计算机科学课堂讲稿5123,504-516(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Niebert}等人,Lect。注释计算。科学。5123、504--516(2008年;Zbl 1155.68444) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利 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 0803.68070号 西奥。计算。科学。 126,第2143-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) 全文: 内政部