位置:成果数据库 > 会议 > 会议详情页
Reasoning about Channel Passing in Choreography
  • 所属机构名称:华东师范大学
  • 成果类型:会议
  • 相关项目:Web服务组合语言的语义和验证研究
同会议论文项目
期刊论文 1 会议论文 18
同项目会议论文