Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Robert K. Cox
Tidjani Négadi
s j savory
Jhonathan Pinzon
Liangliang Shang
Giovanni Venturelli
Chen Ma
Jing-Sheng Wong
Mark Reith
Radu Timofte
Home
/
Author
/
LIJNG WAN
Author Info
Open Visualization
Name
Affiliation
Papers
LIJNG WAN
Beijing Inst Control Engn, Beijing, Peoples R China
1
Collaborators
Citations
PageRank
7
0
0.34
Referers
Referees
References
0
13
6
Publications (1 rows)
Collaborators (7 rows)
Referers (0 rows)
Referees (13 rows)
Title
Citations
PageRank
Year
Formal Verification of Lunar Rover Control Software Using UPPAAL.
0
0.34
2014
1