| |
| 1999 | ||
|---|---|---|
| 2 | Wen Li, Ye Xinming, Zhiyong Liu: A Formal Description Technology: Graphics E-LOTOS. FORTE 1999: 389-400 | |
| 1991 | ||
| 1 | To-Yat Cheung, Youwen Wu, Ye Xinming: Generating Test Sequences and their Degrees of Indeterminism for Protocols. PSTV 1991: 301-316 | |
| 1 | To-Yat Cheung | [1] |
| 2 | Wen Li | [2] |
| 3 | Zhiyong Liu | [2] |
| 4 | Youwen Wu | [1] |