扎克,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.68065号 计算。语言系统。结构。 30,编号3-4,231-258(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bossi}等人,计算。语言系统。结构。30,编号3--4,231--258(2004;Zbl 1072.68065) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 (英语) Zbl 1072.68066号 计算。语言系统。结构。 30,编号3-4,207-230(2004).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,计算。语言系统。结构。30,编号3--4,207--230(2004;Zbl 1072.68066) 全文: 内政部
Meenakshi,B。;拉马努贾姆,R。 关于分层消息传递系统的推理。 (英语) Zbl 1072.68067号 计算。语言系统。结构。 30,第3-4号,171-206(2004).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Meenakshi}和\textit{R.Ramanujam},计算机。语言系统。结构。30,编号:3-4171--206(2004年;兹bl 1072.68067) 全文: 内政部
勒诺尔·扎克;阿米尔·普努利 借助参数化系统进行模型检查和抽象(调查)。 (英语) Zbl 1072.68069号 计算。语言系统。结构。 30,第3-4139-169号(2004).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zuck}和\textit{A.Pnueli},计算。语言系统。结构。30,编号3--4,139-169(2004;Zbl 1072.68069) 全文: 内政部
西斯特拉·A·普拉萨德 在模型检查中使用对称约简。 (英语) Zbl 1072.68068号 计算。语言系统。结构。 30,编号3-4,99-137(2004).MSC公司:60年第68季度 68问题85 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla},计算。语言系统。结构。30,编号3--4,99-137(2004;Zbl 1072.68068) 全文: 内政部