退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:C / C ++并发性的有效无状态模型检查
Michalis Kokologiannakis; Ori Lahav; Konstantinos Sagonas; Viktor Vafeiadis;
机译:最大因果减少的无状态模型检查并发程序
机译:CDSCHECKER:检查使用C / C ++ Atomics编写的并发数据结构
机译:松弛内存模型下并发错误的最大无状态模型检查
机译:CDSCHECKER:用于C / C ++原子的模型检查器。
机译:在肿瘤模型中联合抑制TGF-β信号传导和PD-L1免疫检查点的效果不同
机译:动态检查并发C / C ++程序中的所有权策略
机译:使用并发模型约简和模型检查对模型进行形式验证
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。