Institute of Computing Technology, Chinese Academy IR
分面浏览:作者 |
当前检索式 | ((ALL:Model checking)) |
限定条件 | ((出处:JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY) AND (作者:Jin, Yue) AND (作者:Shi, Kan) AND (资助项目:Strategic Priority Research Program of Chinese Academy of Sciences (CAS)[XDC05030200]) AND (专题:中国科学院计算技术研究所)) |
Bao, Yun-Gang 1 | Jin, Yue 1 | Lin, Jia-Wei 1 |
Shi, Kan 1 | Sun, Ning-Hui 1 | Tang, Dan 1 |
Wang, Hua-Qiang 1 | Wang, Kai-Fan 1 | Wang, Sa 1 |
Xu, Yi-Nan 1 | Yu, Zi-Hao 1 | Zhang, Lin-Juan 1 |
Zhang, Zi-Fei 1 |