Statistics
Publications
6
Citations
307
H-Index
6
Active since
2005
Affiliations
Dirk Leinenbach is an author at Saarland University specializing in computer science, formal verification, and formal methods.
Publications per year
2005–2009
6
6
Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach et al. · Journal of Automated Reasoning · 2009 · 52 citations
Towards the formal verification of lower system layers in automotive systems
Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations
1–5 of 6