| |
| 2008 | ||
|---|---|---|
| 2 | EE | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma: Symbolic Model Checking APSL. TASE 2008: 39-46 |
| 2007 | ||
| 1 | EE | Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen: Axiomatizing Extended Temporal Logic Fragments Via Instantiation. ICTAC 2007: 322-336 |
| 1 | Huowang Chen | [1] [2] |
| 2 | Wei Dong | [1] |
| 3 | Xiaodong Ma | [2] |
| 4 | Ji Wang | [1] [2] |