| |
| 2005 | ||
|---|---|---|
| 2 | EE | Guangping Qin, Jinzhao Wu: Action Refinement for Real-Time Concurrent Processes with Urgency. Electr. Notes Theor. Comput. Sci. 139(1): 123-144 (2005) |
| 2004 | ||
| 1 | EE | Guangping Qin, Jinzhao Wu: Branching Time Equivalences for Interactive Markov Chains. FORTE Workshops 2004: 156-169 |
| 1 | Jinzhao Wu | [1] [2] |