位置:成果数据库 > 会议 > 会议详情页
Canonical Transition Set Semantics for Petri Nets
  • 所属机构名称:中国科学院软件研究所
  • 会议名称:31st International Conference on Appliations and Theory of Petri Nets and Other Models of Concurrenc
  • 成果类型:会议
  • 相关项目:并发系统的Petri网结构化分析与综合研究
同会议论文项目
期刊论文 1 会议论文 2 著作 1
同项目会议论文