退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间异步系统中领导者选举算法的验证
Neeraj Jaggi; K. Gopinath;
机译:异步分布式系统中的领导者选举
机译:IEEE 1394领导者选举协议的定时验证
机译:分布式系统中领导者选举算法的研究与分类
机译:验证定时异步系统中的领导选举算法
机译:定时电路和系统的综合和验证算法。
机译:一种基于到达时间的异步源定位的新方法:算法性能和复杂性
机译:使用抽象和参数模型检查验证工业异步领导选举算法
机译:分布式计算系统中基于时间的高效领导者节点选举
机译:分布式计算系统中基于时间的高效领导节点选举
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。