Statistics
Publications
4
Citations
104
H-Index
4
Active since
1995
Affiliations
University of Passau(Current)
Olaf Burkart is an author at University of Passau specializing in model checking, formal methods, and computing.
Publications per year
1995–1999
4
4
1–4 of 4