中国高校科技期刊信息汇聚平台
基于Kripke的状态保留模型修复算法
戴敏, 潘海玉
桂林电子科技大学学报 . 2024, (06): 599 -605 .  DOI: 10.16725/j.1673-808X.2022341

Copyright 中国高校科技期刊信息汇聚平台 2024-2025
技术支持：北京玛格泰克科技发展有限公司
京ICP备05021913号-19