《智能系统学报》 过刊查询页面

    关键词中包括 model checking 的文章

1 实时并发系统的PTSL模型检测
王晓燕1, 韩啸1,2, 彭君1, 刘淑芬1 2017年5期 [694-701][摘要](5302)[pdf 1098KB](2535)
2 含有合取查询的时态描述逻辑ALC-LTL模型检测
朱创营, 常亮, 徐周波, 李凤英 2014年6期 [714-722][摘要](3041)(2)