退出
我的积分:
中文文献批量获取
外文文献批量获取
李未; 王飓安;
不详;
并发; 通信; 形式语义;
机译:高阶通信系统演算的完全抽象指称语义
机译:具有高阶流通信的并发系统演算
机译:M演算:高阶分布式过程演算
机译:使用通信系统演算(CCS)对OSI会话层进行正式规范和验证。
机译:积分并发射神经元中高阶相关的简单机制
机译:通过有限petri网代表CCs(通信系统微积分)程序(重新公布TIB-B89-80679)
机译:无线通信系统中V2X终端接收PSCCH调度信息并发送PSCCH的方法和装置
机译:V2X终端在无线通信系统中接收PSCCH调度信息并发送PSCCH的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。