author-photo

Tang Zhi-Song

Chinese Academy of Sciences

5

Papers

210

Citations

Citation Trend

Filter By

Papers (3) Sort By

Journal Conference Others

Reachability Checking of Finite Precision Timed Automata

2006 Journal of Software
Show All
- Source
- Cite
- Save
Citations (180)
An Overview Towards the Semantics of XYZ/E Object-Oriented Programs

2003 Journal of Software
- Guo Liang
- Tang Zhi-Song
Show All
- Source
- Cite
- Save
Citations (2)
The Goal, Meaning, Effect and Application of the XYZ System

1999 Journal of Software
- Tang Zhi-Song
Show All
- Source
- Cite
- Save
Citations (2)