关键词中包括 model checking 的文章

1 实时并发系统的PTSL模型检测 王晓燕1, 韩啸1,2, 彭君1, 刘淑芬1 2017年5期 [694－701][摘要](5349)[pdf 1098KB](2584) DOI:10.11992/tis.201706008

2 含有合取查询的时态描述逻辑ALC-LTL模型检测 朱创营, 常亮, 徐周波, 李凤英 2014年6期 [714－722][摘要](3079)(2) DOI:10.3969/j.issn.1673-4785.201303034