尤尼特·凯斯滕;佐哈尔·曼纳;阿米尔·普努利 时钟和混合系统的验证。 (英语) Zbl 0957.68073号 学报信息。 36,第11期,837-912(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《学报》第36期,第11期,第837--912页(2000年;Zbl 0957.68073) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 (英语) Zbl 0790.68041号 学报信息。 30,第7期,609-678(1993).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《学报参考》30,第7期,609--678(1993;Zbl 0790.68041) 全文: 内政部
莫德凯·本·阿里;阿米尔·普努利;佐哈尔·曼纳 分支时间的时间逻辑。 (英语) Zbl 0533.68036号 学报信息。 20, 207-226 (1983).MSC公司:68问题65 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben Ari}等人,Acta Inf.2007-226(1983;兹bl 0533.68036) 全文: 内政部
尼西姆·弗朗西兹;阿米尔·普努利 循环程序的一种证明方法。 (英语) Zbl 0367.68009号 学报信息。 9, 133-157 (1978).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}和\textit{A.Pnueli},《信息学报》9,133--157(1978;Zbl 0367.68009) 全文: 内政部
尼西姆·弗朗西兹;鲍里斯·克莱班斯基;阿米尔·普努利 递归计算中的回溯。 (英语) Zbl 0359.68023号 学报信息。 8, 125-144 (1977).MSC公司:68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,《信息学报》8,125--144(1977;Zbl 0359.68023) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 程序完全正确性的公理方法。 (英语) 兹比尔0263.68009 学报信息。 3, 243-263 (1974).MSC公司:68号01 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《信息学报》3,243--263(1974;Zbl 0263.68009) 全文: 内政部