| |
| 2009 | ||
|---|---|---|
| 3 | EE | Wanwei Liu, Ji Wang, Huowang Chen, Xiaodong Ma, Zhaofei Wang: Symbolic model checking APSL. Frontiers of Computer Science in China 3(1): 130-141 (2009) |
| 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] [3] |
| 2 | Wei Dong | [1] |
| 3 | Xiaodong Ma | [2] [3] |
| 4 | Ji Wang | [1] [2] [3] |
| 5 | Zhaofei Wang | [3] |