祖克，莱诺；阿米尔·普努利 借助参数化系统进行模型检查和抽象（调查）。 （英语） Zbl 1072.68069号 计算。语言系统。结构。 30，第3-4139-169号（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli}，计算。语言系统。结构。30，编号3--4，139-169（2004；Zbl 1072.68069） 全文： 内政部
尤尼特·凯斯滕；阿米尔·普努利 控制和数据抽象：实际形式验证的基石。 （英语） Zbl 1059.68589号 国际期刊软件。技术工具。变压器。2，第4期，328-342（2000）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式 全文： 内政部
阿米尔·普努利；伊拉德·沙哈尔 参数化验证中的活力和加速。 （英语） Zbl 0974.68521号 Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 328-343 (2000).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Pnueli｝和\textit｛E.Shahar｝，Lect。注释计算。科学。1855328-343（2000年；Zbl 0974.68521）
爱德华·张；佐哈尔·曼纳；阿米尔·普努利 时间属性类的特征。 （英语） Zbl 1425.68252号 Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).MSC公司：60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Chang}等人，Lect。注释计算。科学。623474-486（1992年；Zbl 1425.68252） 全文： 内政部
霍华德·巴林格；鲁德·柯伊伯；阿米尔·普努利 类CSP语言的合成时间方法。 （英语） Zbl 0594.68018号 程序设计中的形式化模型。IFIP TC2工作会议，维也纳/奥地利，1985年，207-227年（1986年）。MSC公司：第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式
奥尔纳·利希滕斯坦；阿米尔·普努利；祖克，莱诺 过去的荣耀。 （英语） Zbl 0586.68028号 程序逻辑，程序。Conf.，布鲁克林/纽约，1985年，Lect。注释计算。科学。193, 196-218 (1985).MSC公司：68问题65 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
阿米尔·普努利 关于程序的从全局到模块化时序推理的过渡。 （英语） Zbl 0578.68014号 并发系统的逻辑和模型，Proc。北约高级研究所，拉科勒苏罗普/法国1984，北约ASI Ser。，序列号。F 13，123-144（1985）。 审核人：V.卡尔马图亚努 MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
尼西姆·弗朗西兹；奥尔纳·格伦伯格；Shmuel Katz；阿米尔·普努利 证明Prolog程序的终止。 （英语） Zbl 0577.68023号 程序逻辑，程序。Conf.，布鲁克林/纽约，1985年，Lect。注释计算。科学。19389-105（1985）中所述。MSC公司：68号01 60年第68季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳；阿米尔·普努利 并发程序不变性和活性属性的充分证明原则。 （英语） Zbl 0542.68014号 科学。计算。程序。 4, 257-289 (1984).MSC公司：第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli}，科学。计算。程序。4257-289（1984年；Zbl 0542.68014） 全文： 内政部
佐哈尔·曼纳；阿米尔·普努利 证明优先属性：时间方式。 （英语） Zbl 0528.68008号 《自动化、语言和编程》，第十届Colloq.，巴塞罗那/西班牙，1983年，Lect。注释计算。科学。154, 491-512 (1983).MSC公司：60年第68季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳；阿米尔·普努利 并发程序的验证：时间证明系统。 （英语） Zbl 0507.68005号 计算机科学基础IV.分布式系统。第2部分：语义和逻辑，数学。美分。第159、163-255卷（1983年）。MSC公司：60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳；阿米尔·普努利 并发程序的验证：时间证明原则。 （英语） Zbl 0481.68019号 项目逻辑，约克敦高地/纽约1981年研讨会，Lect。注释计算。科学。131, 200-252 (1982).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式