| |
| 2007 | ||
|---|---|---|
| 3 | EE | Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang: Bounded Model Checking of CTL. J. Comput. Sci. Technol. 22(1): 39-43 (2007) |
| 2006 | ||
| 2 | EE | Xing-Qi Huang, Li-Fu Wang, Wen Zhao, Shi-Kun Zhang, Chong-Yi Yuan: A Workflow Process Mining Algorithm Based on Synchro-Net. J. Comput. Sci. Technol. 21(1): 66-71 (2006) |
| 1 | EE | Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang: Direct Model Checking Matrix Algorithm. J. Comput. Sci. Technol. 21(6): 944-949 (2006) |
| 1 | Hans Kleine Büning | [1] |
| 2 | Zhong Chen | [3] |
| 3 | Xing-Qi Huang | [2] |
| 4 | Zhi-Hong Tao | [1] [3] |
| 5 | Chong-Yi Yuan | [2] |
| 6 | Shi-Kun Zhang | [2] |
| 7 | Wen Zhao | [2] |
| 8 | Cong-Hua Zhou | [3] |