曼娜,佐哈尔;阿米尔·普努利 反应系统的时间验证:响应。 (英语) Zbl 1288.68169号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲义6200,279-361(2010)。MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},莱克特。注释计算。科学。6200、279--361(2010年;Zbl 1288.68169) 全文: 内政部
佐哈尔·曼纳(编辑);Doron A.Peled。(编辑) 验证时间。纪念埃米尔·普努利的散文。 (英语) Zbl 1194.68054号 计算机科学课堂讲稿6200.柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。x、 401页。(2010).MSC公司:68-06 第68季度第60季度 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}(编辑)和\textit{D.A.Peled}(编者),验证时间。纪念埃米尔·普努利的散文。柏林:施普林格出版社(2010;Zbl 1194.68054) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 属性定向增量不变量生成。 (英语) Zbl 1149.68402号 正式Asp。计算。 20,编号4-5,379-405(2008).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和\textit{Z.Manna},正式Asp。计算。20,编号4--5,379--405(2008;Zbl 1149.68402) 全文: 内政部
斯莱尼娜,马蒂奥;Henny B.西普玛。;佐哈尔·曼纳 交流系统的演绎验证。 (英语) 兹比尔1152.68032 正式Asp。计算。 20,编号4-5,507-560(2008).MSC公司:第68季度第60季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Slanina}等人,《正式Asp》。计算。20、编号4--5、507--560(2008;Zbl 1152.68032) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 计算微积分。决策程序及验证申请。 (英语) Zbl 1126.03001号 柏林:施普林格出版社(ISBN 978-3-540-74112-1/hbk)。xv,第366页。(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03-02 03B70号 第68季度第60季度 03B25号 30楼03号 68-02 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和textit{Z.Manna},计算微积分。用于验证的决策程序。柏林:施普林格出版社(2007;Zbl 1126.03001)
斯莱尼娜,马蒂奥;亨尼·B·西普玛。;佐哈尔·曼纳 证明无限状态系统的ATL*属性。 (英语) Zbl 1168.68428号 Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学讲义428142-256(2006)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Slanina}等人,莱克特。注释计算。科学。4281、242--256(2006年;Zbl 1168.68428) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 加强验证约束问题。 (英语) Zbl 1168.68421号 Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281,35-49(2006)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和\textit{Z.Manna},莱克特。注释计算。科学。4281、35-49(2006年;Zbl 1168.68421) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳;亨尼·B·西普玛。 阵列的决定因素是什么? (英语) Zbl 1176.68116号 艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学课堂讲稿3855427-442(2006)。MSC公司:第68季度第60季度 03B25号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。3855427--442(2006年;Zbl 1176.68116) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;迈克尔·科隆。;西普玛,亨尼;佐哈尔·曼纳 高效的强关联多面体分析。 (英语) 兹比尔1176.68051 艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学课堂讲稿3855111-125(2006)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,Lect。注释计算。科学。3855111-125(2006年;Zbl 1176.68051) 全文: 内政部
张婷;亨尼·B·西普玛。;佐哈尔·曼纳 整数约束项代数的判定过程。 (英语) Zbl 1103.68080号 Inf.计算。 204,第10期,1526-1574(2006).MSC公司:第68季度第60季度 68号30 68第05页 03B25号 03B35型 03B70号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhang}等人,《信息计算》。204、10号、1526——1574(2006;Zbl 1103.68080) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳;亨尼·B·西普玛。 整数线性回路的终止分析。 (英语) Zbl 1134.68343号 Abadi,Martín(编辑)等人,CONCUR 2005–并发理论。第16届国际会议,CONCUR 2005,美国加利福尼亚州旧金山,2005年8月23日至26日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28309-9/pbk)。计算机科学课堂讲稿3653488-502(2005)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。3653488-502(2005年;Zbl 1134.68343) 全文: 内政部
塞萨尔·桑切斯;亨尼·B·西普玛。;斯莱尼娜,马蒂奥;曼娜,佐哈尔 事件模式反应式程序的最终语义。 (英语) Zbl 1151.68378号 JoséLuiz Fiadeiro等人,《计算机科学中的代数和余代数》。第一届国际会议,2005年CALCO,2005年9月3日至6日,英国斯旺西。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28620-9/pbk)。计算机科学课堂讲稿3629364-378(2005)。MSC公司:68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Sánchez}等人,Lect。注释计算。科学。3629、364--378(2005年;Zbl 1151.68378) 全文: 内政部
亚伦·布拉德利;佐哈尔·曼纳 循环的终止和不变性分析。 (英语) Zbl 1170.68508号 Peled,Doron A.(编辑)等人,《验证和分析自动化技术》。2005年10月4日至7日,第三届国际研讨会,ATVA 2005,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29209-8/pbk)。计算机科学课堂讲稿3707,2(2005)。MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bradley}和\textit{Z.Manna},莱克特。注释计算。科学。3707,2(2005年;Zbl 1170.68508) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳;亨尼·B·西普玛。 多元排序原则。 (英语) Zbl 1081.68568号 Caires,Luís(编辑)等人,《自动化,语言和编程》。第32届国际学术讨论会,2005年ICALP,葡萄牙里斯本,2005年7月11日至15日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801349-1361(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。35801349-1361(2005年;Zbl 1081.68568) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳;亨尼·B·西普玛。 具有可达性的线性排名。 (英语) Zbl 1081.68611号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576491-504(2005)。MSC公司:第68季度第60季度 68纳米99 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。3576、491--504(2005;Zbl 1081.68611) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳;亨尼·B·西普玛。 多项式程序的终止。 (英语) Zbl 1111.68500号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385113-129(2005)。MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。3385113--129(2005年;Zbl 1111.68500) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 使用数学规划对线性系统进行可缩放分析。 (英语) Zbl 1111.68514号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学讲座笔记3385,25-41(2005)。MSC公司:第68季度第60季度 90C08型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,Lect。注释计算。科学。3385、25-41(2005年;Zbl 1111.68514) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 基于Gröbner基的非线性循环不变量生成。 (英语) Zbl 1325.68071号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-729-X)。318-329 (2004).MSC公司:68号30 13页第10页 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,载于:第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'04,意大利威尼斯,2004年1月14-16日。纽约州纽约市:计算机协会(ACM)。318--329(2004;Zbl 1325.68071) 全文: 内政部 链接
张婷;亨尼·B·西普玛。;佐哈尔·曼纳 具有整数约束的递归数据结构的决策过程。 (英语) Zbl 1126.68585号 David Basin(编辑)等人,《自动推理》。第二届国际联合会议,2004年7月4日至8日,爱尔兰科克,IJCAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22345-2/pbk)。计算机科学课程讲稿3097。人工智能课堂讲稿,152-167(2004)。MSC公司:68吨15 68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Zhang}等人,Lect。注释计算。科学。3097152--167(2004年;Zbl 1126.68585) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 基于约束的线性关系分析。 (英语) Zbl 1104.68023号 Giacobazzi,Roberto(编辑),静态分析。2004年8月26日至28日,第11届国际研讨会,SAS 2004,意大利维罗纳。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22791-1/pbk)。计算机科学课堂讲稿314853-68(2004)。MSC公司:68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,Lect。注释计算。科学。3148,53--68(2004;Zbl 1104.68023) 全文: 内政部
佐哈尔·曼纳;卡拉戈罗·扎尔巴。 合并决策程序。 (英语) Zbl 1274.68078号 Aichernig,Bernhard K.(编辑)等人,《十字路口的形式方法》。从万灵药到基础支持。2002年3月18日至20日,葡萄牙里斯本,联合国大学/国际软件技术研究所十周年座谈会。修订论文。柏林:施普林格出版社(ISBN 3-540-20527-6/pbk)。莱克特。注释计算。科学。2757, 381-422 (2003).MSC公司:68号30 03B70号 第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{C.G.Zarba},莱克特。注释计算。科学。2757381-422(2003年;兹bl 1274.68078) 全文: 内政部
曼娜,佐哈尔;亨尼·B·西普玛。 为了安全起见,交替使用临时图片。 (英语) Zbl 0973.68141号 Montanari,Ugo(编辑)等人,《自动化、语言和编程》。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853, 429-450 (2000).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{H.B.Sipma},莱克特。注释计算。科学。1853429-450(2000年;Zbl 0973.68141)
尤尼特·凯斯滕;佐哈尔·曼纳;阿米尔·普努利 时钟和混合系统的验证。 (英语) Zbl 0957.68073号 学报信息。 36,第11期,837-912(2000).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《学报》第36期,第11期,第837--912页(2000年;Zbl 0957.68073) 全文: 内政部
尼古拉·S·比约纳。;乌里·勒纳;佐哈尔·曼纳 参数化容错系统的演绎验证:案例研究。 (英语) Zbl 0956.68083号 Barringer,Howard(编辑)等人,《时间逻辑的进展》。第二届时间逻辑国际会议论文选集,ICTL,英国曼彻斯特,1997年。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。16, 129-148 (2000).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Björner}等人,应用。日志。序列号。16、129--148(2000年;Zbl 0956.68083)
佐哈尔·曼纳;亨尼·B·西普玛。 通过图表上的动态归纳验证参数化系统。 (英语) Zbl 1046.68601号 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 25-43 (1999).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{H.B.Sipma},莱克特。注释计算。科学。1633年、25-43年(1999年;Zbl 1046.68601)
卢卡·德·阿尔法罗;阿琼·卡普尔;佐哈尔·曼纳 混合图:一种用于混合系统验证的演绎算法方法。 (英语) Zbl 1498.68156号 Reischuk,Rüdiger(编辑)等人,STACS 97。第十四届计算机科学理论方面年度研讨会。1997年2月27日至3月1日,德国吕贝克。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1200, 153-164 (1997).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}等人,Lect。注释计算。科学。1200、153--164(1997年;Zbl 1498.68156) 全文: 内政部
尼古拉·比约纳;安卡·布朗;佐哈尔·曼纳 不变量和中间断言的自动生成。 (英语) Zbl 0902.68120号 西奥。计算。科学。 173,第1期,49-87(1997).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}等人,Theor。计算。科学。173,编号1,49--87(1997;Zbl 0902.68120) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 参数化程序的验证。 (英语) Zbl 0844.68079号 Börger,Egon(编辑),规范和验证方法。牛津:克拉伦登出版社。国际计算机科学家学校。167-230 (1995).MSC公司:第68季度第60季度 68N17号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},in:规范和验证方法。牛津:克拉伦登出版社。167-230(1995年;Zbl 0844.68079)
卢卡·德·阿尔法罗;佐哈尔·曼纳 通过离散推理进行连续时间验证。 (英语) Zbl 1496.68189号 Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。936, 292-306 (1995).MSC公司:第68季度第60季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.de Alfaro}和\textit{Z.Manna},Lect。注释计算。科学。936、292--306(1995年;Zbl 1496.68189) 全文: 内政部
I.A.布朗。;Z.曼纳。;西普玛,H.B。 广义时间验证图。 (英语) Zbl 1354.68171号 Thiagarajan,P.S.(编辑),《软件技术和理论计算机科学基础》。第十五届会议,印度班加罗尔,1995年12月18日至20日。诉讼程序。柏林:Springer-Verlag(ISBN 3-540-60692-0)。莱克特。注释计算。科学。1026, 484-498 (1995).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Browne}等人,Lect。注释计算。科学。1026484-498(1995年;Zbl 1354.68171) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;佐哈尔·曼纳;阿米尔·普努利 时间转换系统的时间证明方法。 (英语) Zbl 0820.68085号 Inf.计算。 112,No.2,273-337(1994).MSC公司:68问题85 68T27型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《信息计算》。112,No.2,273--337(1994;Zbl 0820.68085) 全文: 内政部 链接
佐哈尔·曼纳;阿米尔·普努利 时间验证图。 (英语) Zbl 0942.03527号 Hagiya,Masami(编辑)等人,《计算机软件的理论方面》。1994年4月19日至22日,第二届TACS’94国际研讨会,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。789, 726-765 (1994).MSC公司:03B70号 第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},莱克特。注释计算。科学。789726-765(1994年;Zbl 0942.03527)
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 (英语) Zbl 0790.68041号 学报信息。 30,第7期,609-678(1993).MSC公司:2010年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},《学报参考》30,第7期,609--678(1993;Zbl 0790.68041) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;佐哈尔·曼纳;阿米尔·普努利 数字钟有什么好处? (英语) Zbl 1425.68255号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 545-558 (1992).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。623545-558(1992年;Zbl 1425.68255) 全文: 内政部
爱德华·张;佐哈尔·曼纳;阿米尔·普努利 时间属性类的特征。 (英语) Zbl 1425.68252号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 474-486 (1992).MSC公司:第68季度第60季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Chang}等人,Lect。注释计算。科学。623474-486(1992年;兹比尔1425.68252) 全文: 内政部
曼娜,佐哈尔;阿米尔·普努利 反应系统和并发系统的时序逻辑。规范。 (英语) 兹比尔0753.68003 柏林等:Springer-Verlag。十四、 第427页(1991年)。 审核人:M.K(布尔诺) MSC公司:68-02 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},反应和并发系统的时序逻辑。规范。柏林等:Springer-Verlag(1991;Zbl 0753.68003)
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) Zbl 0795.68133号 西奥。计算。科学。 83,第1期,97-130(1991).MSC公司:第68季度第60季度 2010年第68季度 03B70号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Theor。计算。科学。83,第1号,97--130(1991;Zbl 0795.68133) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) Zbl 0703.68075号 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 534-558 (1989). 审核人:M.K.Val'ev先生 MSC公司:第68季度第60季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式
Z.曼纳。;A.普努利。 时态框架的锚定版本。(教程)。 (英语) Zbl 0683.68031号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。工作坊,Noordwijkerhout/NL 1988,勒克特。注释计算。科学。354, 201-284 (1989). 审核人:北柯蒂安努 MSC公司:68问题65 03B44号 第68季度第60季度 68N25号 68T99型 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 二元搜索范式的起源。 (英语) Zbl 0636.68118号 科学。计算。程序。 9, 37-83 (1987). 审核人:T.朱坎 MSC公司:68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},科学。计算。程序。9、37-83(1987年;Zbl 0636.68118) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 计算机编程的逻辑基础。第一卷:演绎推理。 (英语) Zbl 0572.68008号 Addison-Wesley计算机科学系列。马萨诸塞州雷丁:Addison-Wesley出版公司。十二、 第618页(1985年)。 审核人:帕内克 MSC公司:68-01 03-01 03B05号 03B10号机组 68问题65 68第05页 PDF格式BibTeX公司 XML格式
马丁·阿巴迪;佐哈尔·曼纳 非子句时间演绎。 (英语) Zbl 0567.03004号 程序逻辑,程序。Conf.,布鲁克林/纽约,1985年,Lect。注释计算。科学。193, 1-15 (1985).MSC公司:03B45号 03B35型 68问题65 PDF格式BibTeX公司 XML格式
本·莫斯科夫斯基;佐哈尔·曼纳 区间时序逻辑中的推理。 (英语) 兹伯利0542.68022 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 371-382 (1984).MSC公司:68问题65 03C80号 第68季度第60季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM Trans。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
约瑟夫·哈尔珀;佐哈尔·曼纳;本·莫斯科夫斯基 基于时间间隔的硬件语义。 (英语) Zbl 0534.68025号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 278-291 (1983). 审核人:R.纳伯特 MSC公司:68问题65 68纳米99 PDF格式BibTeX公司 XML格式
莫德凯·本·阿里;阿米尔·普努利;佐哈尔·曼纳 分支时间的时间逻辑。 (英语) Zbl 0533.68036号 学报信息。 207-226年(1983年).MSC公司:68问题65 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ben-Ari}等人,《信息学报》20,207--226(1983;Zbl 0533.68036) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 证明优先属性:时间方式。 (英语) Zbl 0528.68008号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 491-512 (1983).MSC公司:第68季度第60季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) Zbl 0525.68005号 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95,251-307(1983)。MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 并发程序的验证:时间证明系统。 (英语) Zbl 0507.68005号 计算机科学基础IV.分布式系统。第2部分:语义和逻辑,数学。美分。第159、163-255卷(1983年)。MSC公司:第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 顺序程序的验证:时间公理化。 (英语) Zbl 0521.68019号 规划方法的理论基础,Lect。夏季课程注释。,Marktoberdorf/德国。1981年,北约高级研究机构系列。,C、 数学。物理学。科学。第91卷,第53-102页(1982年)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;皮埃尔·沃尔珀 从时间逻辑规范合成通信过程。 (英语) Zbl 0487.68027号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131, 253-281 (1982).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 并发程序的验证:时间证明原则。 (英语) Zbl 0481.68019号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131, 200-252 (1982).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式
博伊尔,R.S。(编辑);J.Strother摩尔(编辑) [Dijkstra,E.W。;R.M.伯斯托尔。;J.A.戈根。;Z.曼纳。;A.普努利。] 计算机科学中的正确性问题。 (英语) Zbl 0476.68009号 计算机科学国际系列讲座。伦敦等:学术出版社,Harcourt Brace Jovanovich出版社的子公司。十三、 279页14.20英镑;$29.50 (1981).MSC公司:68-02 第68季度第60季度 68号01 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) Zbl 0472.68054号 科学。计算。程序。 1, 5-48 (1981).MSC公司:68吨15 68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},科学。计算。程序。1、5--48(1981年;Zbl 0472.68054) 全文: 内政部
曼娜,佐哈尔;理查德·沃尔丁格 编程语言的问题特性:情景演算方法。 (英语) Zbl 0469.68005号 学报信息。 16371-426(1981年).MSC公司:68号01 第68季度第60季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},《信息学报》16,371--426(1981;Zbl 0469.68005) 全文: 内政部
纳鸿·德肖维茨;佐哈尔·曼纳 程序注释的推理规则。 (英语) Zbl 0463.68023号 IEEE传输。软件工程。 7, 207-222 (1981).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna},IEEE Trans。柔和。工程7,207--222(1981;Zbl 0463.68023) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2, 90-121 (1980).MSC公司:第68季度第60季度 68T20型 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},ACM Trans。程序。语言系统。2、90-121(1980年;Zbl 0468.68009) 全文: 内政部
佐哈尔·曼纳 程序逻辑。 (英语) Zbl 0443.68022号 信息处理,程序。IFIP大会。,东京和墨尔本1980,41-51(1980)。MSC公司:68问题65 68号01 03B45号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 关于计算机编程逻辑的讲座。 (英语) 兹伯利0439.68023 CBMS-NSF应用数学区域会议系列31.宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-164-9)。iv,49页。(1980年)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna},计算机编程逻辑讲座。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(1980;Zbl 0439.68023)
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) Zbl 0431.68016号 Commun公司。ACM公司 22, 465-476 (1979).MSC公司:第68季度第60季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna},Commun。ACM 22,465--476(1979;Zbl 0431.68016) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0427.68023号 程序。第五次扫描。逻辑交响乐。,奥尔堡1979,97-141(1979)。MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 合成:梦想\(\Rightarrow\)节目。 (英语) Zbl 0416.68013号 IEEE传输。软件工程。 5, 294-328 (1979).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程5,294--328(1979;Zbl 0416.68013) 全文: 内政部
纳胡姆德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) Zbl 0404.68022号 《自动化、语言和编程》,第六届Colloq.出版社,格拉茨,1979年,莱克托。注释计算。科学。71188-202(1979年)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 程序的模态逻辑。 (英语) Zbl 0404.68011号 《自动化、语言和编程》,第六届Colloq.出版社,格拉茨,1979年,莱克托。注释计算。科学。71, 385-409 (1979).MSC公司:第68季度第60季度 68问题65 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 计算的数学理论。 (俄语) Zbl 0408.68022号 基伯恩。Sb.,11月序列号。 15, 38-100 (1978).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna},Kibern(基伯恩)。Sb.,11月序列号。15、38——100(1978年;Zbl 0408.68022)
佐哈尔·曼纳;理查德·沃尔丁格 计算机编程的逻辑。 (英语) Zbl 0381.68021号 IEEE传输。软件工程。 4, 199-229 (1978).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程4199-229(1978;Zbl 0381.68021) 全文: 内政部