位置：成果数据库 > 会议 > 会议详情页
Decomposition of Nets and Veri
  • 所属机构名称：中国科学院软件研究所
  • 成果类型：会议
  • 相关项目：Petri网系统合成与性质保持研究
作者： 焦莉*
同会议论文项目
Petri网系统合成与性质保持研究
期刊论文 7 会议论文 2
同项目会议论文
Compositional Analysis for Reg