位置:成果数据库 > 著作 > 著作详情页
Formal Methods in Manufacturing Systems: Recent Advances
  • 所属机构名称:西安电子科技大学
  • 时间:2013.4.4
  • 成果类型:著作
  • 出版社:IGI Global
  • 相关项目:自动制造系统死锁控制性能分析与优化
同著作项目
期刊论文 36 会议论文 10 著作 2
同项目著作