Declarative specification and verification of service choreographiess 论文
2010ACM Transactions on the Web引用 236
Service-Oriented Architecture and Web ServicesBusiness Process Modeling and AnalysisAdvanced Software Engineering Methodologies
Declarative specification and verification of service choreographiess · 相关事件
暂无数据