Statistics
Publications
1
Citations
10
H-Index
1
Active since
1999
Affiliations
Siemens (Germany)(Current)
M. Hölzlein is an author at Siemens (Germany).
Publications per year
1999–1999
1
1
Formal verification of PLC-programs
Th. Filkorn, M. Hölzlein, P. Warkentin et al. · IFAC Proceedings Volumes · 1999 · 10 citations
1–1 of 1