Name | Affiliation | Papers |
---|---|---|
WENLIANG ZHANG | State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences,Beijing,100080, China and Graduate School of the Chinese Academy of Sciences,Beijing,100039, China | 1 |
Collaborators | Citations | PageRank |
3 | 0 | 0.34 |
Referers | Referees | References |
0 | 42 | 17 |
Title | Citations | PageRank | Year |
---|---|---|---|
Improvements for the Symbolic Verification of Timed Automata | 0 | 0.34 | 2007 |