安东内拉·桑顿;吉利奥拉·瓦格利尼 用于改进选择性微积分中模型检查的组成性和局部性。 (英语) Zbl 1083.68087号 科学。计算。程序。 54,编号2-3,291-311(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Santone}和\textit{G.Vaglini},科学。计算。程序。54,编号2--3,291--311(2005;Zbl 1083.68087) 全文: 内政部
苏苏木西村;中野圭介 通过程序组合和依赖性分析生成XML流转换器。 (英语) Zbl 1086.68537号 科学。计算。程序。 54,编号2-3,257-290(2005).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Nishimura}和\textit{K.Nakano},科学。计算。程序。54,编号2--3,257--290(2005;Zbl 1086.68537) 全文: 内政部
曼弗雷德·布罗伊 消息序列图的语义和方法论本质。 (英语) Zbl 1085.68011号 科学。计算。程序。 54,第2-3号,213-256(2005).MSC公司:64岁以下 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},科学。计算。程序。54,编号2--3213--256(2005;Zbl 1085.68011) 全文: 内政部
Klusener,美国。;拉梅尔,R。;C.弗霍夫。 已部署软件的体系结构修改。 (英语) Zbl 1085.68542号 科学。计算。程序。 54,编号2-3,143-211(2005).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Klusener}等人,科学。计算。程序。54,No.2--3,143--211(2005;Zbl 1085.68542) 全文: 内政部