退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:弱交替Büchi自动机的有界模型检验
Keijo Heljanko; Tommi Junttila; Misa Keinänen; Martin Lange; Timo Latvala;
机译:通过有界模型检查来检查离散定时自动机的MTL属性
机译:DP下界用于单计数器自动机的等价检查和模型检查
机译:使用交替树自动机的模型检查时空认知逻辑
机译:弱交替Buechi自动机的有界模型检查
机译:使用满意度模理论和自动机检查对电子系统级模型进行形式化分析。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:使用SNF,交替自动机和Büchi自动机进行有界模型检查
机译:有限内存检查中嵌入式内存的高效建模
机译:绑定内存检查中嵌入式内存的有效建模
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。