退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:抽象细化和无限含有无限状态系统的含量的抗曲
Radu Iosif; Adam Rogalewicz; Tomáš Vojnar;
机译:跟踪抽象细化以解决号角子句
机译:通过学习,抽象和改进自动“验证”离散时间复杂系统
机译:无限状态系统的痕量包含的抽象改进和反链
机译:无限维空间和半线性演化夹杂物的最优控制。
机译:图标:无限HMM的时间跟踪与漂移的适应
机译:图变换系统验证中的抽象与抽象细化
机译:假设 - 保证抽象细化符合混合系统。
机译:计数器示例引导循环抽象细化的方法和系统
机译:通过抽象优化进行可扩展的活动性验证的系统和程序产品
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。