退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:线性时间逻辑到自动机的显式或符号转换
Rozier, Kristin Yvonne;
Rice University;
机译:线性时间逻辑的统一翻译为ω-automata
机译:线性时间逻辑符号模型检查
机译:关于线性时间逻辑与量子有限自动机的关系
机译:使用交替关系的仿真关系从线性时间逻辑构造Buechi自动机
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:使用贴纸自动机模型检查时间逻辑公式
机译:用于线性时序逻辑的Buechi自动机转换器的自动测试。
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:最小化符号有限自动机
机译:符号有限自动机
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。