退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:CTL *模型检查时间Petri网
Boucheneb Hanifa; Hadjidj Rachid;
机译:改进时间类Petri网的CTL〜*模型检查的状态类构造
机译:使用几何区域的时间Petri网的CTL模型检查
机译:CTL {sup} *模型检查时间陪替氏
机译:迈向最佳CTL模型检查时间Petri网
机译:有界Petri网的符号模型检查的编码方案比较。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:时间petri网和定时自动机中时间属性的规范和模型检验?
机译:模型检查分支时间时间逻辑CTL
机译:优化执行时间以实现面向状态或面向流程的模型(例如Petri网或机器)的过程
机译:分布式平行处理定时彩色Petri网仿真模型的方法
机译:使用Petri网模型映射的实时工作流平台的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。