| |
| 2007 | ||
|---|---|---|
| 4 | EE | Conghua Zhou: A compositional symbolic verification framework for concurrent software. Infoscale 2007: 79 |
| 3 | EE | Conghua Zhou, Shiguang Ju: SAT-based Bounded Model Checking for SE-LTL. SNPD (3) 2007: 582-587 |
| 2 | EE | Conghua Zhou, Zhenyu Chen, Zhihong Tao: QBF-Based Symbolic Model Checking for Knowledge and Time. TAMC 2007: 386-397 |
| 2006 | ||
| 1 | EE | Conghua Zhou, Decheng Ding: Improved SAT Based Bounded Model Checking. TAMC 2006: 611-620 |
| 1 | Zhenyu Chen | [2] |
| 2 | Decheng Ding | [1] |
| 3 | Shiguang Ju | [3] |
| 4 | Zhihong Tao | [2] |