| |
| 2005 | ||
|---|---|---|
| 3 | EE | Yanjun Wen, Ji Wang, Zhi-Chang Qi: 2/3 Alternating Simulation Between Interface Automata. ICFEM 2005: 173-187 |
| 2004 | ||
| 2 | EE | Yanjun Wen, Ji Wang, Zhi-Chang Qi: Bridging Refinement of Interface Automata to Forward Simulation of I/O Automata. ICFEM 2004: 259-273 |
| 1 | EE | Yanjun Wen, Ji Wang, Zhi-Chang Qi: Reverse Observation Equivalence Between Labelled State Transition Systems. ICTAC 2004: 204-219 |
| 1 | Zhichang Qi (Zhi-Chang Qi) | [1] [2] [3] |
| 2 | Ji Wang | [1] [2] [3] |