祖克,L。(编辑) 专题:分析和验证。2003年1月9日至11日在美国纽约州纽约市举行的第四届国际验证、模型检验和抽象解释会议(VMCAI 2003)上提交的选定贡献的扩展版本。 (英语) Zbl 1075.68523号 计算。语言系统。结构。 30,编号3-4,97-258(2004).MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}(编辑),计算。语言系统。结构。30,编号3--4,97-258(2004;Zbl 1075.68523) 全文: 内政部
勒诺尔·扎克;阿米尔·普努利 借助参数化系统进行模型检查和抽象(调查)。 (英语) Zbl 1072.68069号 计算。语言系统。结构。 30,第3-4139-169号(2004).MSC公司:第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli},计算。语言系统。结构。30,编号3--4,139-169(2004;Zbl 1072.68069) 全文: 内政部