尼尔·皮特曼;阿米尔·普努利 时间逻辑和公平离散系统。 (英语) 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) 全文: 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应(1)设计的合成。 (英语) Zbl 1247.68050号 J.计算。系统。科学。 78,第3期,911-938(2012).MSC公司:68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人,《计算杂志》。系统。科学。78,第3号,911--938(2012;Zbl 1247.68050) 全文: 内政部
乌里·克莱因;尼尔·皮特曼;阿米尔·普努利 根据GR(1)规范有效综合异步系统。 (英语) Zbl 1326.68186号 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148283-298(2012)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Klein}等人,Lect。注释计算。科学。7148283--298(2012;Zbl 1326.68186) 全文: 内政部 链接
尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应性(1)设计的合成。 (英语) Zbl 1176.68126号 艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学课堂讲稿3855364-380(2006)。MSC公司:60年第68季度 03B44号 68号30 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}等人,Lect。注释计算。科学。3855364--380(2006年;Zbl 1176.68126) 全文: 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1082.68055号 Inf.计算。 200,第1期,35-61(2005).MSC公司:第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《信息计算》。200,编号1,35--61(2005;Zbl 1082.68055) 全文: 内政部 链接
方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 具有无形排名的活力。 (英语) Zbl 1202.68248号 Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 223-238 (2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fang}等人,Lect。注释计算。科学。2937、223--238(2004;Zbl 1202.68248) 全文: 内政部
方,易;尼尔·皮特曼;阿米尔·普努利;勒诺尔·扎克 令人费解的排名。 (英语) Zbl 1126.68474号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988482-496(2004)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fang}等人,Lect。注释计算。科学。2988482--496(2004年;Zbl 1126.68474) 全文: 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利 缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1278.68178号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 381-393 (2003).MSC公司:60年第68季度 05年3月 第68季度第45季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,莱克特。注释计算。科学。2725、381--393(2003年;Zbl 1278.68178) 全文: 内政部