×

找到7个文档(结果1-7)

转移谓词抽象和公平终止。 (英语) Zbl 1369.68152号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。132-144 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

弱点的拓扑特征。 (英语) Zbl 1314.68182号

2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有或不具有公平性假设的事件系统的不动点语义。 (英语) 兹比尔1137.68430

Romijn,Judi(编辑)等,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。《计算机科学讲义》3771327-346(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

Petri网中活性与无死锁的等价性。 (英语) Zbl 1128.68058号

Ciardo,Gianfranco(编辑)等人,《Petri网的应用和理论》,2005年。第26届国际会议,ICATPN 2005,迈阿密,佛罗里达州,美国,2005年6月20日至25日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-26301-2/pbk)。计算机科学课堂讲稿3536,90-107(2005)。
MSC公司:第68季度85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过参数抽象、拉格朗日松弛和半定规划证明了程序的不变性和终止性。 (英语) Zbl 1111.68503号

Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385,1-24(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

主字段