×

找到878个文档（结果1-100）

最新的 引文 关联
韦恩，罗恩;伊鲁申，奥列格;格尔森·埃尔伯;丹·哈尔佩林

多轴数控加工中的连续路径验证。 （英语） 兹比尔1375.68172

第20届计算几何年度研讨会论文集，SCG/SoCG 2004，布鲁克林，纽约，美国，2004年6月8-11日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-885-7）。86-95 (2004).
MSC公司：68单位05 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{R.Wein}等人，in：第20届计算几何年度研讨会论文集，SCG/SoCG 2004，美国纽约布鲁克林，2004年6月8-11日。纽约州纽约市：计算机协会（ACM）。86-95（2004年；Zbl 1375.68172）
全文： 内政部
苏米特·古尔瓦尼;Necula，George C。

使用随机解释的全局值编号。 （英语） Zbl 1325.68065号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。342-352 (2004).
MSC公司：68号30 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{S.Gulwani}和\textit{G.C.Necula}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。342--352（2004；Zbl 1325.68065）
全文： 内政部
马库斯·穆勒·奥尔姆;赫尔穆特·塞德尔

通过线性代数进行精确的过程间分析。 （英语） Zbl 1325.68068号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。330-341 (2004).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Muller-Olm}和\textit{H.Seidl}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。330-341（2004年；兹bl 1325.68068）
全文： 内政部
桑卡拉纳拉亚南，斯里拉姆;亨尼·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｝等人，在：第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’04，意大利威尼斯，2004年1月14日至16日。纽约州纽约市：计算机协会（ACM）。318--329（2004；Zbl 1325.68071）
全文： 内政部 链接
乔舒亚·邓菲尔德;弗兰克·芬宁

三向打字检查。 （英语） Zbl 1325.68062号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。281-292 (2004).
MSC公司：68号30 03B70号 68甲15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Dunfield}和\textit{F.Pfenning}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。281--292（2004年；Zbl 1325.68062）
全文： 内政部 链接
O'Hearn，Peter W。;杨红seok;约翰·雷诺兹（John C.Reynolds）。

分离和信息隐藏。 （英语） Zbl 1325.68069号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。268-280 (2004).
MSC公司：68号30 03B70号 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{P.W.O'Hearn}等人，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。268--280（2004年；Zbl 1325.68069）
全文： 内政部
弗拉纳根，科马克;斯蒂芬·弗伦德（Stephen N.Freund）。

雾化器：多线程程序的动态原子性检查程序。 （英语） Zbl 1325.68064号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-729-X）。256-267 (2004).
MSC公司：68号30 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{C.Flanagan}和\textit{S.N.Freund}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。256-267（2004年；Zbl 1325.68064）
全文： 内政部
沙兹·卡迪尔;Sriram K.拉贾马尼。;雅各布·雷霍夫

总结并发程序中的过程。 （英语） Zbl 1325.68156号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。245-255 (2004).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Qadeer}等人，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。245--255（2004；Zbl 1325.68156）
全文： 内政部
托马斯·亨辛格。;兰吉特·贾拉;鲁帕克·马朱姆达尔;肯尼思·麦克米兰。

证据摘要。 （英语） Zbl 1325.68147号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。232-244 (2004).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，载于：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。232-244（2004；Zbl 1325.68147）
全文： 内政部
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。

web服务身份验证的语义。 （英语） Zbl 1325.68140号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。198-209 (2004).
MSC公司：60年第68季度 68英里11 68平方米 94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Bhargavan｝等人，《第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集》，2004年1月14日至16日，意大利威尼斯，POPL’04。纽约州纽约市：计算机协会（ACM）。198-209（2004年；Zbl 1325.68140）
全文： 内政部 链接
帕特里克·库索特;拉迪亚·库索特

一种基于抽象解释的软件水印框架。 （英语） Zbl 1325.68061号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。173-185 (2004).
MSC公司：68号30 68问题55 94A60 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{P.Cousot}和\textit{R.Cousot}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。173-185（2004年；Zbl 1325.68061）
全文： 内政部 链接
达尔·齐利奥（Dal Zilio，Silvano）;丹尼斯·卢吉兹;查尔斯·梅森尼尔

你可以信赖的逻辑。 （英语） Zbl 1325.03032号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。135-146 (2004).
MSC公司：03B70号 03B25号 05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Dal Zilio}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。135——146（2004年；Zbl 1325.03032）
全文： 内政部
帕特里夏·约翰;贾尼斯·沃格特兰德

存在seq的自由定理。 （英语） Zbl 1325.68047号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。99-110 (2004).
MSC公司：68甲18 68甲15 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit｛P.Johann｝和\textit｛J.Voigtländer｝，载于：第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’04，意大利威尼斯，2004年1月14日至16日。纽约州纽约市：计算机协会（ACM）。99-110（2004年；Zbl 1325.68047）
全文： 内政部 链接
弗朗索瓦·波蒂埃;Nadji高蒂尔

多形型非功能化。 （英语） Zbl 1325.68049号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。89-98 (2004).
MSC公司：68甲18 03B70号 68甲15 68N20型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{F.Pottier}和\textit{N.Gauthier}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。89-98（2004年；Zbl 1325.68049）
全文： 内政部
马塞洛·菲奥雷

一般递归多项式类型的同构。 （英语） Zbl 1325.68063号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。77-88 (2004).
MSC公司：68号30 03B25号 03B70号 03D40号 13页第10页 68甲15 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{M.Fiore}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。77——88（2004年；Zbl 1325.68063）
全文： 内政部
杰罗姆·沃伊隆;保罗·安德烈·梅利埃

语义类型：重新审视类型的理想模型。 （英语） 兹比尔1325.68072

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-729-X）。52-63 (2004).
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{J.Vouillon}和\textit{P.-A.Melliès}，摘自：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。52-63（2004年；Zbl 1325.68072）
全文： 内政部
甘尼什·西坦帕兰;奥格·德穆尔;肯·弗里斯·拉森

增量执行转换规范。 （英语） Zbl 1325.68044号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。26-38 (2004).
MSC公司：68N17号 68N20型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Sittampalam}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。26-38（2004年；Zbl 1325.68044）
全文： 内政部
尼克·本顿

静态分析和程序转换的简单关系正确性证明。 （英语） Zbl 1325.68057号

第31届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’04，意大利威尼斯，2004年1月14日至16日。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。14-25 (2004).
MSC公司：68号30 03B70号 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{N.Benton}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。14-25（2004年；兹bl 1325.68057）
全文： 内政部
对手，泽维尔

基于符号传递函数的认证编译方法。 （英语） Zbl 1325.68070号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。1-13 (2004).
MSC公司：68号30 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{X.Rival}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。1-13（2004年；Zbl 1325.68070）
全文： 内政部
马蒂亚斯·布鲁姆;大卫·麦卡利斯特

一个健全（完整）的合同模型。 （英语） Zbl 1323.68353号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN通知39，第9号，189-200（2004）。
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Blume}和\textit{D.McAllester}，摘自：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，犹他州，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。189-200（2004年；Zbl 1323.68353）
全文： 内政部
于大川;邵，钟

验证并发装配代码的安全属性。 （英语） Zbl 1323.68235号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN公告39，编号9，175-188（2004）。
MSC公司：68号30 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{D.Yu}和\textit{Z.Shao}，in：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，UT，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。175-188（2004年；Zbl 1323.68235）
全文： 内政部
本田、高黑

从过程逻辑到程序逻辑。 （英语） 兹比尔1323.03034

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机机械协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN通知39，第9号，163-174（2004）。
MSC公司：03B70号 68甲18 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Honda}，in：第九届ACM SIGPLAN功能编程国际会议论文集，2004年9月19日至21日，美国犹他州雪鸟乌普萨拉，ICFP'04。纽约州纽约市：计算机协会（ACM）。163-174（2004年；Zbl 1323.03034）
全文： 内政部
彼得·莫勒·内尔加德;Maison、Harry G。

类型、效力和幂等性：为什么非线性和健忘症使类型系统工作。 （英语） Zbl 1323.68223号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN通知39，第9号，138-149（2004）。
MSC公司：68号30 03B70号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{P.M.Neergaard}和\textit{H.G.Mairson}，摘自：第九届ACM SIGPLAN函数编程国际会议记录，ICFP'04，美国犹他州雪鸟乌普萨拉，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。138——149（2004年；Zbl 1323.68223）
全文： 内政部
简·克里斯蒂安森;哈奇，弗兰克

调试Concurrent Haskell程序时搜索死锁。 （英语） Zbl 1323.68104号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN Notices 39，No.9，28-39（2004）。
MSC公司：68甲18 68甲19 68N25号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Christiansen｝和\textit｛F.Huch｝，载于：第九届ACM SIGPLAN功能编程国际会议论文集，ICFP'04，美国犹他州雪鸟市乌普萨拉，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。28-39（2004年；Zbl 1323.68104）
全文： 内政部
大卫·赫尔曼;菲利普·梅尼尔

通过部分求值改进嵌入式语言的静态分析。 （英语） Zbl 1323.68074号

2004年9月19日至21日，美国犹他州雪鸟市乌普萨拉ICFP'04第九届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-905-5）。ACM SIGPLAN Notices 39，No.9，16-27（2004）。
MSC公司：68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Herman}和\textit{P.Meunier}，in：第九届ACM SIGPLAN函数编程国际会议论文集，ICFP'04，乌普萨拉，雪鸟，犹他州，美国，2004年9月19-21日。纽约州纽约市：计算机协会（ACM）。16-27（2004年；Zbl 1323.68074）
全文： 内政部
普拉桑纳·塔蒂;塞·库什克;马丁·奥列特，纳西索

异步pi演算语义的可执行规范，可以在Maude 2.0中进行测试。 （英语） Zbl 1272.68322号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，261-281（2004）。
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Thati}等人，《电子》。注释Theor。计算。科学。71、261--281（2004；Zbl 1272.68322）
全文： 链接
Kazuhiro绪方;高基町五指

基于重写的身份验证协议验证。 （英语） Zbl 1272.94087号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，208-222（2004）。
MSC公司：94A62型 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Ogata}和\textit{K.Futatsugi}，电子。注释Theor。计算。科学。71、208--222（2004年；Zbl 1272.94087）
全文： 链接
史蒂文·艾克;何塞·梅塞盖尔;安巴里什·斯里德哈拉纳拉亚南

Maude LTL模型检查器。 （英语） Zbl 1272.68243号

Gadducci，Fabio（编辑）等人，WRLA 2002。第四届重写逻辑及其应用国际研讨会论文集，意大利比萨，2002年9月19-21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记71，162-187（2004）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Eker}等人，《电子》。注释Theor。计算。科学。71、162--187（2004年；Zbl 1272.68243）
全文： 链接
斯齐尔维亚·吉帕伊;阿科斯·施密特;达尼尔·瓦罗

具有时间的图变换系统的联合优化和可达性分析。 （英语） Zbl 1271.68119号

Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27-28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109137-147（2004）。
MSC公司：2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛S.Gyapay｝等人，电子。注释Theor。计算。科学。109、137--147（2004年；Zbl 1271.68119）
全文： 链接
奥斯马·马奇·多斯桑托斯;费尔南多·路易斯·多蒂;莱拉·里贝普

验证基于对象的图形语法。 （英语） Zbl 1271.68125号

Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27-28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109125-136（2004）。
MSC公司：2012年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.M.dos Santos}等人，《电子》。注释Theor。计算。科学。109125-136（2004年；Zbl 1271.68125）
全文： 链接
朱斯特，Jochen M。

面向对象行为模型的不一致性处理。 （英语） Zbl 1271.68122号

Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27-28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109，57-69（2004）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Küster}，电子。注释Theor。计算。科学。109、57--69（2004年；Zbl 1271.68122）
全文： 链接
詹姆斯·约翰逊（James E.Johnson）。;David E.Langworthy。;莱斯利·兰波特;弗里德里希·沃格特。

web服务协议的正式规范。 （英语） Zbl 1271.68090号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，147-158（2004）。
MSC公司：68号30 68英里11 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Johnson}等人，《电子》。注释Theor。计算。科学。105、147--158（2004年；Zbl 1271.68090）
全文： 链接
马库斯·文兹克

对跟踪使用XQuery表达式的规范。 （英语） Zbl 1271.68098号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105109-118（2004）。
MSC公司：68号30 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Venzke}，电子。注释Theor。计算。科学。105、109--118（2004年；Zbl 1271.68098）
全文： 链接
马可·皮斯托雷;马可·罗维里;保罗·巴斯塔

需求驱动的web服务验证。 （英语） Zbl 1271.68095号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，95-108（2004）。
MSC公司：68号30 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Pistore}等人，《电子》。注释Theor。计算。科学。105、95——108（2004年；Zbl 1271.68095）
全文： 链接
安东尼奥·布罗吉;运河，卡洛斯;埃内斯托·皮门特尔;安东尼奥·瓦莱西略

规范化web服务编排。 （英语） Zbl 1271.68083号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，73-94（2004）。
MSC公司：68号30 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{A.Brogi}等人，《电子》。注释Theor。计算。科学。105、73-94（2004年；Zbl 1271.68083）
全文： 链接
赫克尔，R。;A.切尔查戈。;M.洛曼。

一种基于图转换的服务规范和匹配的形式化方法。 （英语） Zbl 1271.68137号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，37-49（2004）。
MSC公司：60年第68季度 68英里11 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛R.Heckel｝等人，电子。注释Theor。计算。科学。105、37-49（2004年；Zbl 1271.68137）
全文： 链接
迈克尔·巴尔达穆斯;杰斯珀·本特森;Gianluigi法拉利;罗伯托·拉吉

Web服务是一种分发和协调基于语义的验证工具包的新方法。 （英语） Zbl 1271.68166号

Bravetti，M.（ed.）等人，第一届网络服务和形式方法国际研讨会论文集（WSFM 2004），意大利比萨，2004年2月23日至24日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记105，11-20（2004）。
MSC公司：68问题85 68问题55 60年第68季度 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{M.Baldamus}等人，《电子》。注释Theor。计算。科学。105、11-20（2004年；Zbl 1271.68166）
全文： 链接
Furio Honsell;玛丽娜·莱妮莎;雷卡·雷达马拉

基于命令类的OO语言的协同代数语义和观察等价性。 （英语） Zbl 1271.68088号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，163-180（2004）。
MSC公司：68号30 68问题55 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{F.Honsell}等人，《电子》。注释Theor。计算。科学。104、163--180（2004年；Zbl 1271.68088）
全文： 链接
阿尔贝托·齐法格利翁;伊万·斯卡格内托

即插即用高阶抽象语法中的上下文理论。 （英语） Zbl 1271.68084号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，99-112（2004）。
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.Ciafglione}和\textit{I.Scagnetto}，电子。注释Theor。计算。科学。104、99——112（2004年；Zbl 1271.68084）
全文： 链接
A.切鲁比尼。;北萨巴迪尼。;R.F.C.沃尔特斯。

cospan-span模型中的计时。 （英语） Zbl 1271.68175号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，81-97（2004）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Cherubini}等人，《电子》。注释Theor。计算。科学。104、81-97（2004年；Zbl 1271.68175）
全文： 链接
佛朗哥·巴巴内拉;乌戈·德利古罗

移动对象的类型分配。 （英语） Zbl 1271.68082号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，25-38（2004）。
MSC公司：68号30 68问题55 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{F.Barbanera}和\textit{U.de'Liguoro}，电子。注释Theor。计算。科学。104、25-38（2004年；Zbl 1271.68082）
全文： 链接
保罗·巴尔丹;安德里亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德·科尼格

验证图形转换系统的行为逻辑。 （英语） Zbl 1271.68167号

Honsell，F.（ed.）等人，《COMETA计算元模型项目研讨会论文集》，意大利乌迪内，2003年12月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记104，5-24（2004）。
MSC公司：68问题85 03B44号 03B70号 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，《电子》。注释Theor。计算。科学。104，5--24（2004；Zbl 1271.68167）
全文： 链接
马赛尔·凯斯;德波尔（Frank S。

关于OCL中的消息规范。 （英语） Zbl 1271.68091号

de Boer，F.（ed.）等人，UML模型（CVUML）组合验证研讨会论文集，美国旧金山，2003年10月21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记101，73-93（2004）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Kyas}和\textit{F.S.deBoer}，电子。注释Theor。计算。科学。101，73-93（2004年；兹bl 1271.68091）
全文： 链接
波科兹·科伦布拉特，卡特琳娜;科拉多·普里亚米

从UML序列图和状态图中提取（pi）演算。 （英语） Zbl 1271.68096号

de Boer，F.（ed.）等人，UML模型（CVUML）组合验证研讨会论文集，美国旧金山，2003年10月21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记101，51-72（2004）。
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Pokozy-Korenblat}和\textit{C.Priami}，电子。注释Theor。计算。科学。101、51--72（2004年；Zbl 1271.68096）
全文： 链接
格伦特·格鲁;彼得·赫尔曼

可执行UML模型的转换和验证。 （英语） Zbl 1271.68087号

de Boer，F.（ed.）等人，UML模型（CVUML）组合验证研讨会论文集，美国旧金山，2003年10月21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记101，3-24（2004）。
MSC公司：68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Graw}和\textit{P.Herrmann}，电子。注释Theor。计算。科学。101、3--24（2004年；Zbl 1271.68087）
全文： 链接
奥尔加·格林斯坦;马丁·勒克

实时系统的网络不变量。 （英语） 兹比尔1271.68136

Schnoebelen，P.（编辑），《2003年INFINITY会议录》，第五届无限状态系统验证国际研讨会，CONCUR 2003卫星研讨会，法国马赛2003年9月2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记98，57-74（2004）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Grinchtein}和\textit{M.Leucker}，电子。注释Theor。计算。科学。98、57-74（2004年；Zbl 1271.68136）
全文： 链接
乔治·德尔扎诺

异步演算（扩展抽象）中控制可达性的符号过程。 （英语） 兹比尔1271.68179

Schnoebelen，P.（编辑），《2003年INFINITY会议录》，第五届无限状态系统验证国际研讨会，CONCUR 2003卫星研讨会，法国马赛2003年9月2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记98，21-33（2004）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Delzanno}，电子。注释Theor。计算。科学。98、21-33（2004年；Zbl 1271.68179）
全文： 链接
杰伊，C.B。;Lu，H.Y.先生。;Nguyen，Q.T。

多态命令：就地更新的通用方法。 （英语） Zbl 1271.68089号

Atkinson，M.（编辑），《计算学报：2004年澳大利亚理论研讨会（CATS）》。第10次会议的文件，2004年1月19日至20日，新西兰达尼丁。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记91，195-211（2004）。
MSC公司：68号30 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{C.B.Jay}等人，《电子》。注释Theor。计算。科学。91、195--211（2004年；Zbl 1271.68089）
全文： 链接
杰里米·道森。

形式化一般正确性。 （英语） Zbl 1271.68135号

Atkinson，M.（编辑），《计算学报：2004年澳大利亚理论研讨会（CATS）》。第10次会议的文件，2004年1月19日至20日，新西兰达尼丁。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记91，21-42（2004）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.E.Dawson}，电子。注释Theor。计算。科学。91、21-42（2004年；Zbl 1271.68135）
全文： 链接
陈、陶璐;周景阳;韩婷婷;卢健

检查\（\chi\）-演算中的强开同余。 （英语） Zbl 1271.68174号

Atkinson，M.（编辑），《计算学报：2004年澳大利亚理论研讨会（CATS）》。第10次会议的文件，2004年1月19日至20日，新西兰达尼丁。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记91，4-20（2004）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Chen}等人，《电子》。注释Theor。计算。科学。91、4--20（2004年；Zbl 1271.68174）
全文： 链接
德波尔，F。（编辑）;M.邦桑格。（编辑）

UML模型（CVUML）组合验证研讨会会议记录，美国旧金山，2003年10月21日。 （英语） Zbl 1271.68062号

理论计算机科学电子笔记101.阿姆斯特丹：爱思唯尔。第179页。，仅电子版（2004）。
MSC公司：68-06 68号30 60年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{F.de Boer}（ed.）和\textit{M.Bonsange}（edi.），UML模型组合验证研讨会论文集，美国旧金山，2003年10月21日。阿姆斯特丹：Elsevier（2004；Zbl 1271.68062）
全文： 链接
马丁·埃斯卡多

合成拓扑：数据类型和经典空间。 （英语） Zbl 1270.68082号

Desharnais，J.（ed.）等人，《概率过程领域理论方法研讨会论文集》，加拿大蒙特利尔麦吉尔大学，2003年4月21日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记87，21-156（2004）。
MSC公司：68号30 54-02 68-02 03D75号 06B35号 54A05型 54天30分 68甲15 68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit｛M.Escardó｝，电子。注释Theor。计算。科学。87、21——156（2004年；Zbl 1270.68082）
全文： 链接
范·奥特鲁（Sieuwert van Otterloo）;范德霍克，威比;迈克尔·伍尔德里奇

知识即战略能力。 （英语） Zbl 1270.68181号

van der Hoek，Wiebe（编辑）等人，LCMAS 2003。2003年6月29日，荷兰埃因霍温，多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记85，第2期，152-175（2004）。
MSC公司：60年第68季度 03B44号 68T27型 68立方英尺 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{S.van Otterloo}等人，《电子》。注释Theor。计算。科学。85，第2号，152--175（2004；Zbl 1270.68181）
全文： 链接
马尔科·阿尔贝蒂;马可·加瓦内利;伊芙琳娜·拉姆;保罗·梅洛;保罗·托罗尼

使用社会诚信约束规范和验证代理交互。 （英语） Zbl 1270.68160号

van der Hoek，Wiebe（编辑）等人，LCMAS 2003。2003年6月29日，荷兰埃因霍温，多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第2期，94-116（2004）。
MSC公司：60年第68季度 68T27型 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{M.Alberti}等人，《电子》。注释Theor。计算。科学。85，第2号，94--116（2004；Zbl 1270.68160）
全文： 链接
皮埃尔·伊夫·肖本斯

具有不完美回忆的交替时间逻辑。 （英语） Zbl 1270.68287号

van der Hoek，Wiebe（编辑）等人，LCMAS 2003。2003年6月29日，荷兰埃因霍温，多智能体系统逻辑和通信第一次研讨会论文集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》85，第2期，82-93（2004）。
MSC公司：68T27型 03B44号 2017年第68季度 60年第68季度 68T42型
PDF格式BibTeX公司 XML格式引用
\textit{P.-Y.肖本斯}，电子。注释Theor。计算。科学。85，第2号，82--93（2004；Zbl 1270.68287）
全文： 链接
米歇尔·辛佐夫

在离散决策游戏中确保不变性和必然性的控制保护的迭代合成。 （英语） Zbl 1278.68196号

Owe，Olaf（编辑）等人，《从面向对象到形式化方法》。纪念Ole-Johan Dahl的文章。柏林：施普林格出版社（ISBN 3-540-21366-X/pbk）。计算机科学课堂讲稿2635272-301（2004）。
MSC公司：60年第68季度 91A25型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Sintzoff}，莱克特。注释计算。科学。2635、272--301（2004年；Zbl 1278.68196）
全文： 内政部
埃纳尔·布罗赫·约翰森;Owe、Olaf

面向对象规范和开放分布式系统。 （英语） Zbl 1278.68067号

Owe，Olaf（编辑）等人，《从面向对象到形式化方法》。纪念Ole-Johan Dahl的文章。柏林：施普林格出版社（ISBN 3-540-21366-X/pbk）。《计算机科学讲义》2635137-164（2004）。
MSC公司：68甲19 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.B.Johnsen}和\textit{O.Owe}，Lect。注释计算。科学。2635、137--164（2004年；Zbl 1278.68067）
全文： 内政部
约瑟夫·戈根;格里戈·罗苏

在包容性机构上构建隐藏的信息模块。 （英语） Zbl 1278.68203号

Owe，Olaf（编辑）等人，从面向对象到形式化方法。纪念Ole-Johan Dahl的文章。柏林：施普林格出版社（ISBN 3-540-21366-X/pbk）。计算机科学课堂讲稿263596-123（2004）。
MSC公司：68问题65 68号30
PDF格式BibTeX公司 XML格式引用
\textit{J.Goguen}和\textit{G.Rosu}，莱克特。注释计算。科学。2635、96-123（2004年；Zbl 1278.68203）
全文： 内政部
古尔·阿加;普拉桑纳·塔蒂

行动者的代数理论及其在简单的基于对象的语言中的应用。 （英语） Zbl 1278.68064号

Owe，Olaf（编辑）等人，《从面向对象到形式化方法》。纪念Ole-Johan Dahl的文章。柏林：施普林格出版社（ISBN 3-540-21366-X/pbk）。计算机科学课堂讲稿2635，26-57（2004）。
MSC公司：68甲19 68甲15 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Agha}和\textit{P.Thati}，莱克特。注释计算。科学。2635、26-57（2004年；Zbl 1278.68064）
全文： 内政部
拉杰夫·阿鲁尔;马杜苏丹，P。

直观的下推语言。 （英语） 兹比尔1192.68396

2004年6月13日至15日，美国伊利诺伊州芝加哥举行的第36届ACM计算理论年会（STOC 2004）会议记录。纽约州纽约市：ACM出版社（ISBN 1-58113-852-0）。202-211，仅电子版（2004年）。
MSC公司：2012年第68季度 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}和\textit{P.Madhusudan}，摘自：第36届ACM计算理论年会论文集，STOC 2004。美国伊利诺伊州芝加哥，2004年6月13日至15日。纽约州纽约市：ACM出版社。202-211（2004；Zbl 1192.68396）
全文： 内政部 链接
马赫·姆奈姆;卡伦·萨卡拉

计算指数大图中的顶点偏心率：QBF公式和解。 （英语） Zbl 1204.68206号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 411-425 (2004).
MSC公司：68T20型 05C85号 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{M.Mneimneh}和\textit{K.Sakallah}，莱克特。注释计算。科学。2919、411--425（2004年；Zbl 1204.68206）
全文： 内政部
亚历山德罗·阿曼多;卢卡·孔帕尼亚

基于抽象驱动SAT的安全协议分析。 （英语） Zbl 1204.68031号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 257-271 (2004).
MSC公司：68平方米 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Armando}和\textit{L.Compagna}，莱克特。注释计算。科学。2919257--271（2004；Zbl 1204.68031）
全文： 内政部
汉斯·克莱恩·勃宁;苏布拉马尼，K。;赵西顺

关于量化布尔霍恩公式的布尔模型。 （英语） Zbl 1204.03017号

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 93-104 (2004).
MSC公司：03B05号 65年第68季度 60年第68季度 第68页第15页
PDF格式BibTeX公司 XML格式引用
\textit{H.Kleine Büning}等人，Lect。注释计算。科学。2919、93——104（2004；Zbl 1204.03017）
全文： 内政部
埃德蒙·克拉克;穆拉利达尔塔卢普尔;赫尔穆特·维思;王栋（Wang，Dong）

用于硬件验证的基于SAT的谓词抽象。 （英语） 兹比尔1204.68129

Giunchiglia，Enrico（编辑）等，可满足性测试的理论和应用。2003年5月5日至8日，意大利圣玛格丽塔·利古雷，第六届国际SAT会议。选定的修订论文。柏林：施普林格出版社（ISBN 3-540-20851-8/pbk）。莱克特。注释计算。科学。2919, 78-92 (2004).
MSC公司：60年第68季度 第68页第15页 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Clarke}等人，Lect。注释计算。科学。2919、78——92（2004年；Zbl 1204.68129）
全文： 内政部
菲利普·施诺贝伦

概率有损信道系统的验证。 （英语） Zbl 1203.68101号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925445-465（2004）。
MSC公司：60年第68季度 68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{P.Schnoebelen}，莱克特。注释计算。科学。2925445--465（2004年；Zbl 1203.68101）
全文： 内政部
哈，迈克尔

非确定性和概率性混合系统的抽象框架。 （英语） 兹比尔1203.68099

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925419-444（2004）。
MSC公司：60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Huth}，莱克特。注释计算。科学。29254119-444（2004年；兹bl 1203.68099）
全文： 内政部
马蒂亚斯·昆茨;凯·兰普卡

状态空间分析中的概率方法。 （英语） Zbl 1203.68100号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925339-383（2004）。
MSC公司：60年第68季度 68问题85 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Kuntz}和\textit{K.Lampka}，莱克特。注释计算。科学。2925339--383（2004年；Zbl 1203.68100）
全文： 内政部
杰里米·斯普鲁斯顿

概率定时系统的模型检验。 （英语） Zbl 1203.68102号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925189-229（2004）。
MSC公司：60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{J.斯普洛斯顿}，莱克特。注释计算。科学。2925189-229（2004年；Zbl 1203.68102）
全文： 内政部
Frank Ciesinski先生;马库斯·格勒

关于概率计算树逻辑。 （英语） Zbl 1203.68096号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925147-188（2004）。
MSC公司：60年第68季度 03B70号 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit｛F.Ciesinski｝和\textit｛M.Grßer｝，Lect。注释计算。科学。2925147--188（2004年；Zbl 1203.68096）
全文： 内政部
贝内迪克特·博利格;马丁·勒克

验证概率程序的定性属性。 （英语） Zbl 1203.68094号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿2925124-146（2004）。
MSC公司：60年第68季度 68号30 65年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}和\textit{M.Leucker}，莱克特。注释计算。科学。2925124--146（2004年；Zbl 1203.68094）
全文： 内政部
马里奥·布拉维蒂;佩德罗·R·达吉尼奥。

Tutte le algebrare insime：具有一般分布的随机过程代数的概念、讨论和关系。 （英语） Zbl 1203.68113号

Baier，Christel（编辑）等人，《随机系统的验证》。当前研究指南。柏林：施普林格出版社（ISBN 3-540-22265-0/pbk）。计算机科学课堂讲稿292544-88（2004）。
MSC公司：68问题85 60年第68季度 第68季度87
PDF格式BibTeX公司 XML格式引用
\textit{M.Bravetti}和\textit{P.R.D'Argenio}，莱克特。注释计算。科学。2925，44-88（2004年；兹bl 1203.68113）
全文： 内政部
奥拉夫·亨尼格;鲁、苗;哈桑·乌拉尔

自动生成测试分布式系统的测试目的。 （英语） 兹比尔1185.68076

Petrenko，Alexandre（编辑）等人，软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会，FATES 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20894-1/pbk）。莱克特。注释计算。科学。2931, 178-191 (2004).
MSC公司：64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Henniger}等人，Lect。注释计算。科学。2931178-191（2004年；兹bl 1185.68076）
全文： 内政部
Jean-Claude费尔南德斯;劳伦特·穆尼尔;西里尔，帕琼

面向属性的测试用例生成。 （英语） Zbl 1185.68243号

Petrenko，Alexandre（编辑）等人，软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会，FATES 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20894-1/pbk）。莱克特。注释计算。科学。2931, 147-163 (2004).
MSC公司：68N99型 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.-C.Fernandez}等人，Lect。注释计算。科学。2931147-163（2004年；Zbl 1185.68243）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

传记参考

全部的 前3名

软件