安娜丽莎·博西;里卡多·福卡迪;卡拉广场;萨宾娜·罗西 验证持久安全属性。 (英语) 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) 全文: 内政部
布拉金,基亚拉;阿戈斯蒂诺Cortesi;里卡多·福卡迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 (英语) 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--4,171-206(2004;Zbl 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) 全文: 内政部
普拉萨德·西斯特拉 在模型检查中使用对称约简。 (英语) 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) 全文: 内政部