退出
我的积分:
中文文献批量获取
外文文献批量获取
谢健; 阚双龙; 黄志球; 王飞; 杨志斌; 李伟湋;
南京航空航天大学计算机科学与技术学院 南京210016;
南京航空航天大学航天学院 南京210016;
偏序约简; 状态事件线性时序逻辑; 模型检验; 同步乘; 标签Kripke结构;
机译:状态/事件线性时序逻辑全类的部分阶约简
机译:一般状态探索算法的偏序约简
机译:符号状态空间探索中的偏序约简
机译:将线性时间时序逻辑嵌入到无限逻辑中:在消除多主体无限性认知线性时间时序逻辑中的应用
机译:面向状态的偏序模型和逻辑,用于分布式系统验证。
机译:线性时序逻辑的后门
机译:使用成分偏序约简来验证编排系统
机译:柔性结构的非对称Lanczos模型约简和线性状态函数观测器
机译:静态偏序约简
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。