中文版 | English
CSpace

分面浏览：作者

当前检索式 ((ALL：Model checking))
限定条件 ((语种：中文) AND (专题：信息技术快报))
共27条，第1-20条
曹存根 1 曹政 1 程学旗 1
房俊 1 傅亮 1 高文 1
李光辉 1 李华伟 1 刘新春 1
刘兴奎 1 李晓维 1 吕涛 1
亓开元 1 邵明 1 沈海华 1
沈华 1 谭松波 1 王达伟 1
王海涛 1 温彦 1