Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
michael j g johnston
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
Maximilian Dürr
Bernd Becker
Jhonathan Pinzon
Liangliang Shang
Josephine Alba
Chen Ma
Home
/
Author
/
WOLFGANG KUNZ
Author Info
Open Visualization
Name
Papers
Collaborators
WOLFGANG KUNZ
1
12
Citations
PageRank
Referers
3
0.44
12
Referees
References
21
8
Publications (1 rows)
Collaborators (12 rows)
Referers (12 rows)
Referees (21 rows)
Title
Citations
PageRank
Year
Bounded Model Checking and Inductive Verication of Hybrid Discrete-continuous Systems
3
0.44
2004
1