| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Modellbildung in der Informatik | Taschenbuch | 978-3-642-62267-0 | 2013 | Manfred Broy | |
| Modellbildung in der Informatik | Gebunden | 978-3-540-44292-9 | 2003 | " | |
| Proof and System-Reliability | Hardcover | 978-1-4020-0607-4 | 2002 | Helmut Schwichtenberg | |
| Proof and System-Reliability | Paperback | 978-1-4020-0608-1 | 2002 | " |