Statistics
Publications
2
Citations
38
H-Index
2
Active since
2015
Affiliations
University of Freiburg(Current)
Thomas Strump is an author at University of Freiburg specializing in model checking, computer science, and systems engineering.
Publications per year
2015–2015
2
2
Eliminating spurious transitions in reachability with support functions
Goran Frehse, Sergiy Bogomolov, Marius Greitschus et al. · 2015 · 18 citations
1–2 of 2