退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在符号模型检查中更有效地表示电路
J. R. Burch; E. M. Clarke; D. E. Long;
School of Computer Science, Carnegie Mellon University;
机译:使用符号模型检查,高效地搜索监管网络的定性模型。
机译:使用符号模型检查对监管网络的定性模型进行有效的参数搜索
机译:符号模型检查,用于顺序电路验证
机译:高效的符号模型检查。
机译:模拟/混合信号电路的符号模型检查
机译:基于SAT的高效无界符号模型检查
机译:动态模型修剪的符号模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。