Institute of Computing Technology, Chinese Academy IR
分面浏览:资助项目 |
当前检索式 | ((ALL:Model checking)) |
限定条件 | 无 |
信息技术快报 11 | JOURNAL OF COMPUTER 3 | Journal of Computer 3 |
计算机辅助设计与图形学学报 3 | ACM SIGPLAN NOTICES 1 | IEEE TRANSACTIONS ON 1 |
IEEE TRANSACTIONS ON 1 | JOURNAL OF SYSTEMS A 1 |