| |
| 2007 | ||
|---|---|---|
| 2 | EE | Yan Chen, Yujing He, Fei Xie, Jin Yang: Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation. FMCAD 2007: 111-118 |
| 2006 | ||
| 1 | Yujing He: Comparison of the Modeling Languages Alloy and UML. Software Engineering Research and Practice 2006: 671-677 | |
| 1 | Yan Chen | [2] |
| 2 | Fei Xie | [2] |
| 3 | Jin Yang | [2] |