退出
我的积分:
中文文献批量获取
外文文献批量获取
沈立涛;
无;
机译:基于Si的ROWA复制协议的形式化描述
机译:基于Pi演算的语义Web服务组合形式化描述与验证研究
机译:基于pi演算组合的语义Web服务形式化描述与验证研究。
机译:在安全协议的形式验证中使用知识的时态逻辑
机译:幼儿第二语言学习者掌握时态和达成协议。
机译:特征空间和结构时态数据学习系统及其在实时通信网络验证数据用例中的应用
机译:基于形式化描述技术的安全协议自动实现系统
机译:使用时态逻辑指定和验证加密协议(进度报告)。
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。