| 2007 | ||
|---|---|---|
| 2 | EE | Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang: Implication-Based Approximating Bounded Model Checking. FSEN 2007: 350-363 |
| 1 | EE | Conghua Zhou, Zhenyu Chen, Zhihong Tao: QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC 2007: 386-397 |
| 1 | Zhenyu Chen | [1] [2] |
| 2 | Lifu Wang | [2] |
| 3 | Baowen Xu | [2] |
| 4 | Conghua Zhou | [1] |