×

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

根据GR(1)规范有效综合异步系统。 (英语) Zbl 1326.68186号

Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148283-298(2012)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

反应性(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立方厘米10
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有无形排名的活力。 (英语) Zbl 1202.68248号

Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 223-238 (2004).
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

令人费解的排名。 (英语) Zbl 1126.68474号

Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988482-496(2004)。
MSC公司:60年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小公平模拟和跟踪包含之间的差距。 (英语) Zbl 1278.68178号

Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 381-393 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份