作者中包括 ZHU Chuangying 的文章

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