位置:成果数据库 > 会议 > 会议详情页
Extending Interface Automata with Z Notation
  • 所属机构名称:南京航空航天大学
  • 成果类型:会议
  • 相关项目:高阶进程演算的互模拟研究
同会议论文项目
期刊论文 12 会议论文 16 著作 2
同项目会议论文