Zhisong Tang

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

Rongjie Yan, Guangyuan Li, Zhisong Tang
Symbolic Model Checking of Finite Precision Timed Automata. ICTAC (2005)
Guangyuan Li, Zhisong Tang
Translating a Continuous-Time Temporal Logic into Timed Automata. APLAS (2003)
Guangyuan Li, Zhisong Tang
Modelling Real-Time Systems with Continuous-Time Temporal Logic. ICFEM (2002)