退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有扩展并发分离逻辑的分散和验证分散系统
Yepeng Ding; Hiroyuki Sato;
机译:分支时间逻辑,用于验证同步耦合的并发系统及其与基于Web的系统的相关性
机译:使用概率论逻辑规范验证并发概率论系统
机译:关于TMEPORAL逻辑对并行系统的完善和组合验证
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:在并发分离逻辑中推理权限区域
机译:逻辑技术系统:正式化和自动验证的问题
机译:逻辑验证系统,逻辑验证方法,逻辑验证程序和记录介质
机译:逻辑验证系统,逻辑验证方法和逻辑验证程序
机译:逻辑验证系统和方法,逻辑锥提取装置和方法,逻辑验证和逻辑锥提取程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。