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

2
by Altmeyer, Peter
Published 1997
Springer Berlin Heidelberg

3
by Altmeyer, Peter
Published 1995
Springer Berlin Heidelberg

4
by Altmeyer, Peter, Hoffmann, Klaus, Stücker, Markus
Published 1997
Springer Berlin Heidelberg

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

6
by Altmeyer, Peter
Published 1998
Springer Berlin Heidelberg