Knowledge Commons of Institute of Automation，CAS
分面浏览：出处 |
| 当前检索式 | ((ALL：Temporal Logic)) |
| 限定条件 | ((作者：173211-002579)) |
| IEEE TRANSACTIONS ON 2 | IEEE INTELLIGENT TRA 1 | IEEE International C 1 |
| IEEE/CAA JOURNAL OF 1 | IEEE/CAA Journal of 1 | Proceedings of 2012 1 |
