Susanne Graf
Books
- Models, Mindsets, Meta : The What, the How, and the Why Not?
- Automated technology for verification and analysis
- Tools and Algorithms for the Construction and Analysis of Systems
- Formal methods for components and objects
- Real Time and Such
- Formal methods for components and objects
- Formal methods for components and objects
- Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g
- Heimatklänge
- Model Checking Software
- Formal Techniques for Distributed Objects, Components, and Systems
- Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures
- Wir vom Jahrgang 1978 - Kindheit und Jugend
- Verdachts- und ereignisunabhängige Personenkontrollen
Author data: Open Library