×

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

最新的 引文 关联
沃尔特·福格勒（编辑）;金·拉森（编辑）

02年MTCS。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。 （英语） Zbl 1270.68035号

理论计算机科学电子笔记第68页，第5页。阿姆斯特丹：爱思唯尔。1-136，仅电子版（2003年）。
MSC公司：68-06 第68季度第60季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛W.Vogler｝（编辑）和\textit｛K.Larsen｝（编辑），MTCS'02。第三届时间临界系统模型国际研讨会会议记录（CONCUR 2002卫星研讨会），捷克共和国布尔诺，2002年8月24日。阿姆斯特丹：Elsevier（2003；Zbl 1270.68035）
全文： 链接
格德·贝尔曼;Larsen，Kim G。;佩拉内克，拉德克

储存或不储存。 （英语） Zbl 1278.68155号

Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 433-445 (2003).
MSC公司：第68季度第60季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2725433--445（2003年；Zbl 1278.68155）
全文： 内政部
佐尔坦·埃西克;Larsen，Kim G。

由Lindström量词定义的常规语言。 （英语） Zbl 1046.20042号

西奥。通知。申请。 37，第3期，179-241（2003）.
审核人：弗朗西娜·布兰切特·萨德里（格林斯博罗）
MSC公司：20立方米 65年第68季度 第68季度第60季度 第68季度第70季度 07年3月
PDF格式BibTeX公司 XML格式引用
\textit{Z.ésik}和\textit{K.G.Larsen}，Theor。通知。申请。37，第3179-241号（2003年；兹bl 1046.20042）
全文： 努姆达姆 欧洲DML
亚历山大·戴维;格德·贝尔曼;Larsen，Kim G。;易、王

时间自动机验证中的统一与共享。 （英语） Zbl 1023.68525号

Ball，Thomas（编辑）等人，《模型检查软件》。第十届国际SPIN研讨会，美国俄勒冈州波特兰，2003年5月9日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2648225-229页（2003年）。
MSC公司：68号30 65年第68季度 68第05页
PDF格式BibTeX公司 XML格式引用
\textit{A.David}等人，Lect。注释计算。科学。2648225-229（2003年；Zbl 1023.68525）
全文： 链接
格德·贝尔曼;帕特里夏·鲍耶;伊曼纽尔·弗勒里;Larsen，Kim G。

时间自动机验证中的静态保护分析。 （英语） Zbl 1031.68076号

Garavle，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 254-270 (2003).
MSC公司：第68季度第60季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Behrmann}等人，Lect。注释计算。科学。2619、254--270（2003年；Zbl 1031.68076）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前3名

主字段

软件