Statistics
Publications
2
Citations
49
H-Index
2
Active since
2004
Affiliations
Saarland University(Current)
Ingo Brückner is an author at Saarland University specializing in model checking, systems modeling, and formal methods.
Publications per year
2004–2007
2
2