| |
| 1996 | ||
|---|---|---|
| 3 | Dang Van Hung, Wang Ji: On the Design of Hybrid Control Systems Using Automata Models. FSTTCS 1996: 156-167 | |
| 1995 | ||
| 2 | Wang Ji, He Weidong: Formal Specification of Stability in Hybrid Control Systems. Hybrid Systems 1995: 294-303 | |
| 1 | Zhou Chaochen, Wang Ji, Anders P. Ravn: A Formal Description of Hybrid Systems. Hybrid Systems 1995: 511-530 | |
| 1 | Dang Van Hung | [3] |
| 2 | Anders P. Ravn | [1] |
| 3 | He Weidong | [2] |
| 4 | Chaochen Zhou (Zhou Chaochen) | [1] |