| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday | 978-3-54O-24936-8 (3-54O-24936-2) | 2005 | Hans-Jörg Kreowski · Ugo Montanari |