庞、军;Wan Fokkink公司;罗格·霍夫曼;罗纳德·维尔德马 模型检查Java DSM实现的缓存一致性协议。 (英语) Zbl 1106.68013号 J.日志。阿尔盖布。程序。 71,第1期,1-43页(2007年).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Pang}等人,J.Log。阿尔盖布。程序。71,第1号,1-43(2007;Zbl 1106.68013) 全文: 内政部
J.F.格罗特。;J.庞。;沃特斯,A.G。 起重车分布式系统分析。 (英语) Zbl 1048.68055号 J.日志。阿尔盖布。程序。 55,第1-2、21-56号(2003年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}等人,J.Log。阿尔盖布。程序。55,编号1--2,21-56(2003年;兹bl 1048.68055) 全文: 内政部