Login / Signup
Guangping Qin
Publication Activity (10 Years)
Years Active: 2004-2005
Publications (10 Years): 0
</>
Publications
</>
Guangping Qin
,
Jinzhao Wu
Action Refinement for Real-Time Concurrent Processes with Urgency.
Electron. Notes Theor. Comput. Sci.
139 (1) (2005)
Guangping Qin
,
Jinzhao Wu
Branching Time Equivalences for Interactive Markov Chains.
FORTE Workshops
(2004)