Statistics
Publications
3
Citations
104
H-Index
3
Active since
2001
Affiliations
University of Tübingen(Current)
J. Ruf is an author at University of Tübingen specializing in formal methods, computer science, and model checking.
Publications per year
2001–2009
3
3
Simulation-guided property checking based on a multi-valued AR-automata
J. Ruf, Dirk W. Hoffmann, Thomas Kröpf et al. · 2001 · 57 citations
1–3 of 3