×

找到45个文档（结果1-45）

最新的 引文 关联
A.普努利。;A.扎克斯。

关于时间测试仪的优点。 （英语） Zbl 1143.68046号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。《计算机科学讲义》5000172-195（2008）。
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}和\textit{A.Zaks}，莱克特。注释计算。科学。5000、172--195（2008年；Zbl 1143.68046）
全文： 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利

检查离散、定时和连续行为的时间属性。 （英语） Zbl 1133.68378号

Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学讲座笔记4800，475-505（2008）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}等人，Lect。注释计算。科学。4800、475--505（2008年；Zbl 1133.68378）
全文： 内政部
阿米尔·普努利;斯特里赫曼（Ofer Strichman）

未解释功能的功能一致性降低。 （英语） Zbl 1272.03071号

Armando，Alessandro（编辑）等人，《自动推理中决策过程的语用学第三次研讨会论文集》（PDPAR 2005），英国爱丁堡，2005年7月12日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》144，第2期，53-65（2006）。
MSC公司：03B35型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛A.Pnueli｝和\textit｛O.Strichman｝，Electron。注释Theor。计算。科学。144，No.2，53--65（2006；Zbl 1272.03071）
全文： 链接
奥德·马勒;德扬·尼科维奇;阿米尔·普努利

从MITL到时间自动机。 （英语） Zbl 1141.68436号

Asarin，Eugene（编辑）等人，《时间系统的形式化建模和分析》。第四届国际会议，FORMATS 2006，巴黎，法国，2006年9月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-45026-9/pbk）。计算机科学课堂讲稿4202，274-289（2006）。
MSC公司：65年第68季度 03B44号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.Maler｝等人，Lect。注释计算。科学。4202、274--289（2006年；Zbl 1141.68436）
全文： 内政部
尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔

反应性（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立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{N.Piterman}等人，Lect。注释计算。科学。3855364--380（2006年；Zbl 1176.68126）
全文： 内政部
奥德·马勒;德扬·尼科维奇;阿米尔·普努利

实时时序逻辑：过去、现在、未来。 （英语） Zbl 1175.03009号

Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829，2-16（2005）。
MSC公司：03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Maler}等人，Lect。注释计算。科学。3829，2--16（2005；Zbl 1175.03009）
全文： 内政部
文卡特斯·迈索尔;阿米尔·普努利

细化混合自动机的不可判定边界。 （英语） 兹比尔1172.68521

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821261-272（2005）。
MSC公司：65年第68季度 03天35分 2005年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Mysore}和\textit{A.Pnueli}，莱克特。注释计算。科学。3821、261--272（2005；Zbl 1172.68521）
全文： 内政部
希勒尔·库格勒;大卫·哈雷尔;阿米尔·普努利;卢、袁;伊夫·邦坦普斯

基于场景的规范的时间逻辑。 （英语） Zbl 1087.68596号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440445-460（2005）。
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Kugler}等人，Lect。注释计算。科学。3440445--460（2005年；Zbl 1087.68596）
全文： 内政部
尤尼特·凯斯滕;尼尔·皮特曼;阿米尔·普努利

缩小公平模拟和跟踪包含之间的差距。 （英语） 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月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kesten}等人，莱克特。注释计算。科学。2725、381--393（2003年；Zbl 1278.68178）
全文： 内政部
阿米尔·普努利;塔马拉·阿隆斯

热释光阀：A光伏-基于ltl公司验证系统。 （英语） 兹比尔1274.68202

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772598-625（2003）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}和\textit{T.Arons}，莱克特。注释计算。科学。2772558-625（2003年；兹bl 1274.68202）
全文： 内政部
阿米尔·普努利;凯斯滕，约尼特

CTL（^{\ast}）的演绎证明系统。 （英语） Zbl 1012.68119号

Brim，Luboš（编辑）等人，CONCUR 2002-并发理论。第十三届国际会议，2002年8月20日至23日，捷克共和国布尔诺。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2421, 24-40 (2002).
MSC公司：68问题85 60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}和\textit{Y.Kesten}，莱克特。注释计算。科学。2421、24--40（2002年；Zbl 1012.68119）
全文： 链接
阿米尔·普努利;约夫·罗德;奥弗·施特里克曼

等价逻辑的范围分配。 （英语） 兹比尔1052.68088

Hariharan，Ramesh（编辑）等人，FST TCS 2001：软件技术和理论计算机科学基础。第21届会议，印度班加罗尔，2001年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43002-4）。莱克特。注释计算。科学。2245, 317-333 (2001).
MSC公司：60年第68季度 03B70号 68纳米30
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}等人，Lect。注释计算。科学。2245317--333（2001年；Zbl 1052.68088）
全文： 链接
阿米尔·普努利;约夫·罗德;奥弗·施特里克曼;迈克尔·西格尔

通过小域实例化确定等式公式。 （英语） Zbl 1046.68605号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 455-469 (1999).
MSC公司：60年第68季度 68吨15 03B25号
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}等人，Lect。注释计算。科学。1633455-469（1999年；Zbl 1046.68605）
尤尼特·凯斯滕;阿米尔·普努利

通过增强抽象验证活跃度。 （英语） Zbl 0944.68128号

Flum，Jörg（编辑）等人，《计算机科学逻辑》。第十三届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 141-156 (1999).
MSC公司：60年第68季度 65年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Kesten}和\textit{A.Pnueli}，莱克特。注释计算。科学。1683141-156（1999年；Zbl 0944.68128）
佐哈尔·曼纳;阿米尔·普努利

时间验证图。 （英语） 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）
托马斯·亨辛格（Thomas A.Henzinger）。;佐哈尔·曼纳;阿米尔·普努利

数字钟有什么好处？ （英语） Zbl 1425.68255号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。第623545-558页（1992年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。623545-558（1992年；Zbl 1425.68255）
全文： 内政部
爱德华·张;佐哈尔·曼纳;阿米尔·普努利

时间属性类的特征。 （英语） 兹比尔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 0919.03027号

Shyamasundar，R.（编辑），《软件技术和理论计算机科学基础》。第十二届会议，印度新德里，1992年12月18-20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。652, 1-38 (1992).
MSC公司：03B70号 03B45号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Pnueli}，莱克特。注释计算。科学。652，1-38（1992年；兹bl 0919.03027）
贝纳姆·巴尼克巴尔（编辑）;霍华德·巴林格（编辑）;阿米尔·普努利（编辑）

规范中的时序逻辑。1987年4月8日至10日，英国奥尔特林查姆。诉讼程序。 （英语） Zbl 0718.68002号

计算机科学课堂讲稿，第398页。柏林等：Springer-Verlag。六、 第448页，DM 63.00（1989）。
审核人：J.Šefránek（布拉迪斯拉发）
MSC公司：68-06 2010年第68季度 60年第68季度 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{B.Banieqbal}（ed.）等人，规范中的时态逻辑。1987年4月8日至10日，英国奥尔特林查姆。诉讼程序。柏林等：施普林格出版社（1989年；Zbl 0718.68002）
佐哈尔·曼纳;阿米尔·普努利

递归定义函数属性的形式化。 （英语） Zbl 1283.03073号

1969年5月5日至7日，美国加利福尼亚州玛丽娜·德尔雷伊，STOC'69，第一届ACM计算理论年度研讨会论文集。纽约州纽约市：计算机协会（ACM）。201-210 (1969).
MSC公司：03D20日 03B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{Z.Manna}和\textit{A.Pnueli}，摘自：第一届ACM计算理论年度研讨会论文集，STOC'69，Marina del Rey，CA，USA，1969年5月5-7日。纽约州纽约市：计算机协会（ACM）。201-210（1969年；兹比尔1283.03073）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件