蒲飞;张文辉 结合搜索空间划分和抽象进行LTL模型检查。 (英语) Zbl 1142.68522号 科学。中国,Ser。F、。 50,第6号,793-810(2007).MSC公司:68T20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Pu}和\textit{W.Zhang},科学。中国,Ser。F 50,编号6,793--810(2007;Zbl 1142.68522) 全文: 内政部
徐,柯;王跃轩;吴、程 网格服务链模型的形式化验证技术及其应用。 (英语) Zbl 1122.68082号 科学。中国,Ser。F、。 50,第1号,1-20(2007).MSC公司:68问题85 60年第68季度 68M10个 68米14 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}等人,科学。中国,Ser。F 50,编号1,1--20(2007;Zbl 1122.68082) 全文: 内政部