Statistics
Publications
1
Citations
143
H-Index
1
Active since
2009
Affiliations
University of Duisburg-Essen(Current)
Simon Toehning is an author at University of Duisburg-Essen specializing in model checking, formal methods, and model verification.
Publications per year
2009–2009
1
1
1–1 of 1