退出
我的积分:
中文文献批量获取
外文文献批量获取
刘照洋; 龙士工;
贵州大学计算机科学与技术学院;
模型检测; Pastry; TLA; TLC;
机译:基于风险评估和分类的护理:护士与机构规约之间的协议
机译:基于格子的CBI-Isis和Bi-Isis问题,基于CBI-Isis和Bi-Isis问题的基于基于身份的双方经过验证的关键协议协议
机译:基于WfMC协议的工作流行为继承的多项式时间验证
机译:P4P Pastry:对等网络中基于P4P的新颖Pastry路由算法
机译:一种基于平台的线性时序逻辑规范验证和综合方法
机译:协议的一项随机对照试验的协议该协议检查了对行为激活和基于暴露的治疗对广泛性焦虑症的反应的多级预测
机译:使用{TLa +}验证{pastry}路由协议
机译:ada编译器验证摘要报告:证书编号:891124I1.10235 Krupp atlas Elektronik GmBH Krupp atlas Elektronik ada编译器VVmE 1.81 VaX 6310主机Krupp atlas Elektronik GmBH mpR 2300目标。
机译:作为使需要用户协议的协议必要行为的协议必要行为运行设备,使各种负载设备运行协议必要行为的协议必要行为运行设备,协议必要行为运行方式,相对于中心信号通讯,以及运行形式
机译:使用行为服务器基于多个用户的行为进行身份验证的行为身份验证系统
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。