W. Yi
发表
Wang Yi,
W. Yi,
1991,
ICALP.
W. Yi,
A. Lin,
AutomataHuimin Lin,
2000
.
W. Yi,
1994
.
Wang Yi,
W. Yi,
1990,
CONCUR.
Wang Yi,
Kim G. Larsen,
Uno Holmer,
1991,
CAV.
Wang Yi,
Kim G. Larsen,
K. Larsen,
1992,
PSTV.