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

    关键词中包括 model checking 的文章

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