会议详情页-东篱科研大数据发现系统（DRDS）

位置：成果数据库 > 会议 > 会议详情页

Property Checking for 1-Place-Unbounded Petri Nets

所属机构名称：中国科学院软件研究所
会议名称：The 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
成果类型：会议
相关项目：并发系统的Petri网结构化分析与综合研究

同会议论文项目

期刊论文 1 会议论文 2 著作 1

同项目会议论文