安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 转移谓词抽象和公平终止。 (英语) Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。132-144 (2005).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko},摘自:第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,美国加利福尼亚州长滩,2005年1月12-14日。纽约州纽约市:计算机协会(ACM)。132-144(2005年;Zbl 1369.68152) 全文: 内政部
辛迪·艾斯纳;达纳·菲斯曼;约翰·哈夫利切克 弱点的拓扑特征。 (英语) Zbl 1314.68182号 2005年7月17日至20日,美国内华达州拉斯维加斯,PODC’05,第24届ACM分布式计算原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-994-2)。1-8 (2005).MSC公司:第68季度第60季度 03B44号 65年第68季度 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisner}等人,in:第24届ACM分布式计算原理年度研讨会论文集,PODC’05,拉斯维加斯,内华达州,美国,2005年7月17日至20日。纽约州纽约市:计算机协会(ACM)。1-8(2005;Zbl 1314.68182) 全文: 内政部
巴拉达斯,海克特·鲁伊斯;迪迪埃·伯特 具有或不具有公平性假设的事件系统的不动点语义。 (英语) 兹比尔1137.68430 Romijn,Judi(编辑)等,《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-30492-0/pbk)。《计算机科学讲义》3771327-346(2005)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{H.R.巴拉达斯}和\textit{D.伯特},莱克特。注释计算。科学。3771、327--346(2005;Zbl 1137.68430) 全文: 内政部 哈尔
卡梅尔·巴考伊;Jean-Michel库弗勒;凯斯·克莱 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格式引用 \textit{K.Barkaoui}等人,Lect。注释计算。科学。3536、90-107(2005年;Zbl 1128.68058) 全文: 内政部
帕特里克·库索特 通过参数抽象、拉格朗日松弛和半定规划证明了程序的不变性和终止性。 (英语) Zbl 1111.68503号 Cousot,Radhia(编辑),验证,模型检查和抽象解释。第六届国际会议,VMCAI 2005,巴黎,法国,2005年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24297-X/pbk)。计算机科学课堂讲稿3385,1-24(2005)。MSC公司:第68季度第60季度 68号30 90C22型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cousot},莱克特。注释计算。科学。3385,1--24(2005;Zbl 1111.68503) 全文: 内政部
冉·沙哈姆;埃兰·雅哈夫;埃利奥特·科洛德纳。;穆利萨吉夫 与应用程序建立本地临时堆安全属性,以编译时间内存管理。 (英语) Zbl 1093.68057号 科学。计算。程序。 58,第1-2号,264-289(2005).MSC公司:第68季度第60季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Shaham}等人,科学。计算。程序。58,编号1--2,264--289(2005;Zbl 1093.68057) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);海克·卫尔海姆 CSP-OZ中的规范和(属性)继承。 (英语) Zbl 1075.68051号 科学。计算。程序。 55,编号1-3,227-257(2005).MSC公司:第68季度第60季度 68问题55 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{H.Wehrheim},科学。计算。程序。55,编号1--3,227--257(2005;Zbl 1075.68051) 全文: 内政部