退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:移动电话会议系统的LTL规范和验证
Yassine ELGHAYAM; Mohammed Ouzzif; Mohammed Erradi;
机译:移动代理系统的正式规范和验证
机译:分布式多处理器系统的规范和运行时验证:语言,工具和体系结构。
机译:受自然启发的光敏纳米材料:掺激光染料的LTL沸石作为人造光收集系统
机译:分布式系统中LTL规范的分散运行时验证
机译:电话会议系统,电话会议服务器,规范服务器和程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。