退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:单调计数器双向有限自动机的安全性验证
Oscar H. Ibarra; Zhe Dang; Zhi-wei Sun;
机译:具有一个有界反转计数器的双向不确定自动机
机译:具有半量子双向有限自动机建模的验证器的交互式证明系统的功能
机译:安全验证中的有限模型与树自动机
机译:具有单调计数器的双向有限自动机的安全性验证
机译:使用持续方法进行安全验证的基于稳定性的混合自动机。
机译:化学如何计算:非生化化学自动机的语言识别。从有限的自动机到图灵机
机译:有限自动机全球计数器在数据流图驱动的分析平台中,具有分析硬件加速器
机译:使用有限状态自动机来验证受延迟约束的系统
机译:使用有限状态自动机验证受延迟约束的系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。