曹俊伟;张,范;徐,柯;刘连晨;吴成 对网格科学工作流中减少开销的时间属性进行形式化验证。 (英语) Zbl 1280.68122号 J.计算。科学。Technol公司。 26,第6期,1017-1030(2011).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.-W.Cao}等人,J.Compute。科学。Technol公司。26,第6号,1017--1030(2011;Zbl 1280.68122) 全文: 内政部
徐,柯;王跃轩;吴成 网格服务链模型的形式化验证技术及其应用。 (英语) Zbl 1122.68082号 科学。中国,Ser。F、。 50,第1号,1-20(2007).MSC公司:68问题85 60年第68季度 68M10个 64岁以下 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}等人,科学。中国,Ser。F 50,编号1,1--20(2007;Zbl 1122.68082) 全文: 内政部