导出分析报告
研究主题:时序逻辑 投影时序逻辑 PETRI网 命题投影时序逻辑 形式化验证
研究学科:自动化类
被引量:171H指数:7WOS: 2 EI: 48 北大核心: 56 CSCD: 57
扫描二维码,分享地址
请您将改善建议和看法留言给我们,我们会认真听取!感谢您的支持!
请输入您的邮箱地址!
版权所有©重庆科技学院 重庆维普资讯有限公司 渝B2-20050021-7 渝公网安备 50019002500408号 违法和不良信息举报中心