原创力文档Verification of Hypertorus Communication Grids by Infinite Petri Nets and Process Algebra-来源：自动化学报（英文版）（第2019003期）-中国自动化学会、中国科学院自动化研究所、中国科技出版传媒股份有限公司.pdfVIP
- 0
- 0
- 约6.68万字
- 约 10页
- 2023-04-20 发布于四川
- 中国自动化学会、中国科学院自动化研究所、
- 举报
IEEE/CAA JOURNAL OF AUTOMATICA SINICA, VOL. 6, NO. 3, MAY 2019 733
Verification of Hypertorus Communication Grids by
Infinite Petri Nets and Process Algebra
Dmitry A. Za
您可能关注的文档
- 中国农村金融信用担保体系构建分析-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- 黄河流域九省区高质量发展测度研究-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- 中国城市经济发展质量评价分析-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- 农业经济管理对农村经济发展的影响研究-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- “一带一路”背景下中国对外投资合作问题探析-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- 碳中和目标对经济金融系统的影响研究综述-来源：现代营销（创富信息版）（第2022001期）-吉林省期刊工作者协会.pdf
- 智能时代背景下企业财务管理转型分析-来源：现代营销（创富信息版）（第2022005期）-吉林省期刊工作者协会.pdf
- 关于企业会计内部控制策略的探讨-来源：现代营销（创富信息版）（第2022005期）-吉林省期刊工作者协会.pdf
- 事业单位内控机制的建设和风险防范措施-来源：现代营销（创富信息版）（第2022005期）-吉林省期刊工作者协会.pdf
- “互联网+”时代下中小企业管理会计服务创新研究-来源：现代营销（创富信息版）（第2022005期）-吉林省期刊工作者协会.pdf
文档评论（0）