| |
| 2007 | ||
|---|---|---|
| 2 | EE | Xuandong Li, Sumit Jha Aanand, Lei Bu: Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electr. Notes Theor. Comput. Sci. 174(3): 57-70 (2007) |
| 2005 | ||
| 1 | EE | Xuandong Li, Jun Hu, Lei Bu, Jianhua Zhao, Guoliang Zheng: Consistency Checking of Concurrent Models for Scenario-Based Specifications. SDL Forum 2005: 298-312 |
| 1 | Sumit Jha Aanand | [2] |
| 2 | Jun Hu | [1] |
| 3 | Xuandong Li | [1] [2] |
| 4 | Jianhua Zhao | [1] |
| 5 | Guoliang Zheng | [1] |