瑞安·罗西(Ryan A.Rossi)。;大卫·F·格莱奇(David F.Gleich)。;格布雷梅丁,Assefaw H。 并行最大团算法及其在网络分析中的应用。 (英语) Zbl 1323.05103号 SIAM J.科学。计算。 37,第5号,C589-C616(2015).MSC公司:05C69号 05C82号 05C85号 05C90年 90C27型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Rossi}等人,SIAM J.Sci。计算。37,5号,C589--C616(2015;Zbl 1323.05103) 全文: 内政部
萨伏安·塔哈;雅克·朱利安德;弗雷德里克·达多;卡卢·卡布雷拉·卡斯蒂略;比拉尔·坎索 一种基于合成自动机的语义,并保留用于测试属性模式的转换规则。 (英语) 兹比尔1338.68164 正式Asp。计算。 第4号第27页,第641-664页(2015年).MSC公司:第68季度55 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Taha}等人,正式Asp。计算。27,第4号,641--664(2015;Zbl 1338.68164) 全文: 内政部
Naoyuki神山;川端康成 关于时间网络中的包装树状图。 (英语) Zbl 1304.05060号 Inf.流程。莱特。 115,第2期,321-325(2015).MSC公司:05C20号 05C85号 05C70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamiyama}和\textit{Y.Kawase},Inf.过程。莱特。115,第2号,321--325(2015;Zbl 1304.05060) 全文: 内政部 链接