Statistics
Publications
1
Citations
32
H-Index
1
Active since
2000
Ben Lukoschus is an author specializing in control charts, performance charts, and formal methods.
Publications per year
2000–2000
1
1
Verification of Sequential Function Charts Using SMV.
Sébastien Bornot, Ralf Huuck, Ben Lukoschus · 2000 · 32 citations
1–1 of 1