登录    注册    忘记密码
高级检索
概览 下级机构 专家学者 科研产出 学科建设 成果管理 成果提交 成果认领 成果审核 学术分析 机构森林 关于我们

李国强 收藏

导出分析报告

研究主题：PETRI网    形式化研究    形式化验证    非交互式    异步通信程序    

研究学科：自动化类    电子信息类    

被引量：65H指数：3

详细介绍研究成果关系图谱计量评价荣誉奖励

版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7
　渝公网安备 50019002500408号　违法和不良信息举报中心