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 |
