佐哈尔·曼纳;阿米尔·普努利 反应系统的时间验证:响应。 (英语) Zbl 1288.68169号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲义6200,279-361(2010)。MSC公司:60年第68季度 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 60年第68季度 00立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}(编辑)和\textit{D.A.Peled}(编者),验证时间。纪念埃米尔·普努利的散文。柏林:施普林格出版社(2010;Zbl 1194.68054) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 属性定向增量不变量生成。 (英语) Zbl 1149.68402号 正式Asp。计算。 20,编号4-5379-405(2008).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和\textit{Z.Manna},正式Asp。计算。20,编号4--5,379--405(2008;Zbl 1149.68402) 全文: 内政部
斯莱尼娜,马蒂奥;亨尼·B·西普玛。;佐哈尔·曼纳 交流系统的演绎验证。 (英语) Zbl 1152.68032号 正式Asp。计算。 20,编号4-5,507-560(2008).MSC公司:60年第68季度 03B44号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Slanina}等人,《正式Asp》。计算。20、编号4--5、507--560(2008;Zbl 1152.68032) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;亨尼·B·西普玛。;佐哈尔·曼纳 构造混合系统的不变量。 (英语) 兹比尔1133.68365 形式方法系统。设计。 32,第1号,25-55(2008).MSC公司:65年第68季度 13页第10页 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}等人,《形式方法系统》。设计。32,编号1,25-55(2008;Zbl 1133.68365) 全文: 内政部
亚伦·R·布拉德利。;佐哈尔·曼纳 计算微积分。决策程序及验证申请。 (英语) Zbl 1126.03001号 柏林:施普林格出版社(ISBN 978-3-540-74112-1/hbk)。xv,第366页。(2007). 审核人:亚历克斯·纳贝宾(莫斯科) MSC公司:03-02 03B70号 60年第68季度 03年2月25日 30楼03号 68-02 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}和textit{Z.Manna},计算微积分。决策程序及验证申请。柏林:施普林格出版社(2007;Zbl 1126.03001)
斯莱尼娜,马蒂奥;亨尼·B·西普玛。;佐哈尔·曼纳 证明无限状态系统的ATL*属性。 (英语) 兹比尔1168.68428 Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281,242-256(2006)。MSC公司:60年第68季度 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公司:60年第68季度 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公司:60年第68季度 03年2月25日 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。3855427--442(2006年;Zbl 1176.68116) 全文: 内政部
桑卡拉纳拉亚南,斯里拉姆;Colón,迈克尔·A。;亨尼·西普玛;佐哈尔·曼纳 高效的强关联多面体分析。 (英语) Zbl 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公司:60年第68季度 68号30 68第05页 03年2月25日 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 60年第68季度 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公司:60年第68季度 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(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801349-1361(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Bradley}等人,Lect。注释计算。科学。35803149-1361(2005年;兹bl 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公司:60年第68季度 68N99型 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公司:60年第68季度 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公司:60年第68季度 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}et al.,载:第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,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)。《计算机科学讲义》3148,53-68(2004)。MSC公司:68号30 60年第68季度 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号 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{C.G.Zarba},莱克特。注释计算。科学。2757381--422(2003年;Zbl 1274.68078) 全文: 内政部
北卡罗来纳州比约纳。;Z.曼纳。;希普玛,H.B。;乌里韦,T.E。 使用STeP对实时系统进行演绎验证。 (英语) Zbl 0954.68084号 西奥。计算。科学。 253,第1期,27-60(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.S.Björner}等人,Theor。计算。科学。253,编号1,27--60(2001;Zbl 0954.68084) 全文: 内政部
佐哈尔·曼纳;亨尼·B·西普玛。 为了安全起见,交替使用临时图片。 (英语) Zbl 0973.68141号 Montanari,Ugo(编辑)等人,自动机,语言和编程。第27届国际学术讨论会,ICALP 2000,瑞士日内瓦,2000年7月9日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1853, 429-450 (2000).MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{H.B.Sipma},莱克特。注释计算。科学。1853429-450(2000年;Zbl 0973.68141)
尤尼特·凯斯滕;佐哈尔·曼纳;阿米尔·普努利 时钟和混合系统的验证。 (英语) Zbl 0957.68073号 Acta信息。 36,第11期,837-912(2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《学报》第36期,第11期,第837--912页(2000年;Zbl 0957.68073) 全文: 内政部
尼古拉·S·比约纳。;乌里·勒纳;佐哈尔·曼纳 参数化容错系统的演绎验证:案例研究。 (英语) Zbl 0956.68083号 霍华德·巴林格等人,《时序逻辑的进展》。1997年,英国曼彻斯特国际刑事法庭第二届国际时序逻辑会议论文集。多德雷赫特:Kluwer学术出版社。申请。日志。序列号。16, 129-148 (2000).MSC公司:60年第68季度 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公司:60年第68季度 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公司:60年第68季度 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公司:60年第68季度 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公司:60年第68季度 68N17号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},in:规范和验证方法。牛津:克拉伦登出版社。167-230(1995年;Zbl 0844.68079)
卢卡·德·阿尔法罗;佐哈尔·曼纳 通过离散推理进行连续时间验证。 (英语) 兹比尔1496.68189 Alagar,V.S.(编辑)等人,《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。936, 292-306 (1995).MSC公司:60年第68季度 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公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Browne}等人,Lect。注释计算。科学。1026484-498(1995年;Zbl 1354.68171) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 时间验证图。 (英语) Zbl 0942.03527号 Hagiya,Masami(编辑)等人,《计算机软件的理论方面》。1994年4月19日至22日,第二届TACS’94国际研讨会,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。789, 726-765 (1994).MSC公司:03B70号 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},莱克特。注释计算。科学。789726-765(1994年;Zbl 0942.03527)
佐哈尔·曼纳;阿米尔·普努利 反应性模型。 (英语) Zbl 0790.68041号 Acta信息。 30,第7期,第609-678页(1993年).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{A.Pnueli},Acta Inf.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公司:60年第68季度 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公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Chang}等人,Lect。注释计算。科学。623474-486(1992年;Zbl 1425.68252) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) 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) 全文: 内政部
马丁·阿巴迪;佐哈尔·曼纳 一阶时序逻辑中的非子句演绎。 (英语) 兹伯利0696.68096 J.协会计算。机器。 37,No.2,279-317(1990).MSC公司:68吨15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{Z.Manna},J.协会计算。机器。37,第2号,279--317(1990年;Zbl 0696.68096) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 完成时间画面。 (英语) Zbl 0703.68075号 自动化、语言和编程、Proc。第16国际学院,斯特雷萨/意大利1989年,法律。注释计算。科学。372, 534-558 (1989). 审核人:M.K.Val'ev先生 MSC公司:60年第68季度 68问题85 03B70号 PDF格式BibTeX公司 XML格式
Z.曼纳。;A.普努利。 时态框架的锚定版本。(教程)。 (英语) Zbl 0683.68031号 逻辑和并发模型中的线性时间、分支时间和偏序,Proc。研讨会,Noordwijkerhout/NL 1988,Lect。注释计算。科学。354, 201-284 (1989). 审核人:N.Curteanu公司 MSC公司:68问题65 03B44号 60年第68季度 68N25号 68T99型 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 二元搜索范式的起源。 (英语) Zbl 0636.68118号 科学。计算。程序。 9, 37-83 (1987). 审核人:T.朱坎 MSC公司:68吨15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},科学。计算。程序。9、37-83(1987年;Zbl 0636.68118) 全文: 内政部
本·莫斯科夫斯基;佐哈尔·曼纳 区间时序逻辑中的推理。 (英语) 兹伯利0542.68022 《程序逻辑》,研讨会,匹兹堡/宾夕法尼亚州,1983年,莱克特。注释计算。科学。164, 371-382 (1984).MSC公司:68问题65 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;皮埃尔·沃尔珀 从时序逻辑规范合成通信过程。 (英语) Zbl 0522.68030号 ACM事务处理。程序。语言系统。 6, 68-93 (1984).MSC公司:68问题85 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{P.Wolper},ACM Trans。程序。语言系统。6、68——93(1984年;Zbl 0522.68030) 全文: 内政部
佐哈尔·曼纳;阿米尔·普努利 证明优先属性:时间方式。 (英语) Zbl 0528.68008号 《自动化、语言和编程》,第十届Colloq.,巴塞罗那/西班牙,1983年,Lect。注释计算。科学。154, 491-512 (1983).MSC公司:60年第68季度 03B45号 68问题65 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 统一算法的演绎综合。 (英语) Zbl 0525.68005号 计算机程序综合方法。北约高级研究所,博纳/法国,1981年,北约ASI Ser。,序列号。C 95,251-307(1983)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 并发程序的验证:时间证明系统。 (英语) Zbl 0507.68005号 计算机科学基础IV.分布式系统。第2部分:语义和逻辑,数学。美分。第159、163-255卷(1983年)。MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 顺序程序的验证:时间公理化。 (英语) Zbl 0521.68019号 规划方法的理论基础,Lect。夏季课程注释。,Marktoberdorf/德国。1981年,北约高级研究所。,C、 数学。物理学。科学。91, 53-102 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 并发程序的验证:时间证明原则。 (英语) Zbl 0481.68019号 项目逻辑,约克敦高地/纽约1981年研讨会,Lect。注释计算。科学。131200-252(1982)中描述的。MSC公司:60年第68季度 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 60年第68季度 68号01 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 编程语言的问题特性:情景演算方法。 (英语) Zbl 0469.68005号 Acta信息。 16, 371-426 (1981).MSC公司:68号01 60年第68季度 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公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna},IEEE Trans。柔和。工程师7207-222(1981年;Zbl 0463.68023) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0468.68009号 ACM事务处理。程序。语言系统。 2, 90-121 (1980).MSC公司:60年第68季度 68T20型 68吨15 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},ACM Trans。程序。语言系统。2、90-121(1980年;Zbl 0468.68009) 全文: 内政部
佐哈尔·曼纳 关于计算机编程逻辑的讲座。 (英语) Zbl 0439.68023号 CBMS-NSF应用数学区域会议系列31.宾夕法尼亚州费城:工业和应用数学学会(SIAM)(ISBN 0-89871-164-9)。iv,49页。(1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna},计算机编程逻辑讲座。宾夕法尼亚州费城:工业和应用数学学会(SIAM)(1980;Zbl 0439.68023)
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) Zbl 0431.68016号 Commun公司。ACM公司 22, 465-476 (1979).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{Z.Manna},Commun。ACM 22665-476(1979年;Zbl 0431.68016) 全文: 内政部
佐哈尔·曼纳;理查德·沃尔丁格 程序综合的演绎方法。 (英语) Zbl 0427.68023号 程序。第五次扫描。逻辑交响乐。,奥尔堡1979,97-141(1979)。MSC公司:60年第68季度 68吨15 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;理查德·沃尔丁格 合成:梦想\(\Rightarrow\)节目。 (英语) Zbl 0416.68013号 IEEE传输。软件工程。 5, 294-328 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程5,294--328(1979;Zbl 0416.68013) 全文: 内政部
纳鸿·德肖维茨;佐哈尔·曼纳 用多集排序证明终止。 (英语) Zbl 0404.68022号 《自动化、语言和编程》,第六届Colloq.出版社,格拉茨,1979年,莱克托。注释计算。科学。71, 188-202 (1979).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳;阿米尔·普努利 程序的模态逻辑。 (英语) Zbl 0404.68011号 《自动化、语言和编程》,第六届Colloq.出版社,格拉茨,1979年,莱克托。注释计算。科学。71, 385-409 (1979).MSC公司:60年第68季度 68问题65 PDF格式BibTeX公司 XML格式
佐哈尔·曼纳 计算的数学理论。 (俄语) 兹比尔0408.68022 基伯恩。Sb.,11月序列号。 15, 38-100 (1978).MSC公司:60年第68季度 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公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Manna}和\textit{R.Waldinger},IEEE Trans。柔和。工程4199-229(1978;Zbl 0381.68021) 全文: 内政部