1
by Holzmann, Hans
Published 1987
Springer Berlin Heidelberg

2
by Holzmann, Hans
Published 1985
Springer Berlin Heidelberg

3
by Altmeyer, Peter, Holzmann, Hans
Published 1986
Springer Berlin Heidelberg

4
by Altmeyer, Peter, Bacharach-Buhles, Martina, Holzmann, Hans
Published 1995
Springer Berlin Heidelberg

5
by Faiss, Gï?’½nther Holzmann Hans-Joachim Dreyer Helmut
Published 1975
Vieweg+Teubner Verlag