退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:无限状态系统的可满足性和模型检验的组合方法
Ghilardi Silvio; Nicolini Enrica; Ranise Silvio; Zucchelli Daniele;
机译:无限状态系统的基于模型检查的基于跟踪的信息流属性
机译:确保无限状态系统的符号验证方法的完整性
机译:理论组合的冲突驱动满意度:过渡系统和完整性
机译:使用光谱技术与多变量化学测量方法组合使用光谱技术的制定
机译:两种评估医院信息系统可用性的方法的组合
机译:管道系统动态组合方法与标准综述
机译:可满足性问题的计算方法,可满足性问题计算系统和程序
机译:可满足性问题计算方法,可满足性问题计算系统和程序
机译:欠近似模型检查的装置,系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。