Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Tidjani Négadi
Daniel P. Kennedy
makoto yaita
Barbara Aquilani
Marco Pintore
Michael Elberfeld
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
G LUKYANOV
Author Info
Open Visualization
Name
Affiliation
Papers
G LUKYANOV
Newcastle University, United Kingdom
1
Collaborators
Citations
PageRank
2
0
0.34
Referers
Referees
References
0
0
0
Publications (1 rows)
Collaborators (2 rows)
Referers (0 rows)
Referees (0 rows)
Title
Citations
PageRank
Year
Formal Verification of Spacecraft Control Programs
0
0.34
2020
1