Zhisong Tang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2002–2005
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | ICTAC | Symbolic Model Checking of Finite Precision Timed Automata. | Rongjie Yan, Guangyuan Li, Zhisong Tang |
| 2003 | APLAS | Translating a Continuous-Time Temporal Logic into Timed Automata. | Guangyuan Li, Zhisong Tang |
| 2002 | ICFEM | Modelling Real-Time Systems with Continuous-Time Temporal Logic. | Guangyuan Li, Zhisong Tang |