曹俊伟;张,范;徐,柯;刘连晨;吴成 形式化验证时间属性,以减少网格科学工作流程中的开销。 (英语) 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) 全文: 内政部
萨伊德·阿贝德;亚辛·莫赫塔里;奥特曼·艾特·穆罕默德;索菲涅·塔哈尔 NuMDG:一种用于构建多路决策图的新工具。 (英语) Zbl 1280.68121号 J.计算。科学。Technol公司。 26,第1期,139-152(2011).MSC公司:60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{S.Abed}等人,《计算杂志》。科学。Technol公司。26,第1号,139--152(2011;Zbl 1280.68121) 全文: 内政部 链接