Search

You searched for: Auteur Graf, Susanne. Remove constraint Auteur: Graf, Susanne.
1 - 7 of 7
Number of results to display per page

Search Results

1. Models, Mindsets, Meta: The What, the How, and the Why Not?
thumbnail
Full text!
Author:
Margaria; Graf, Susanne; Larsen, Kim G.
Publisher:
Springer International Publishing 2019
Format:
e-book
2. Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career
thumbnail
Full text!
Author:
Graf, Susanne.; Pettersson, Paul; Steffen, Bernhard
Publisher:
Cham Springer 2024
Format:
e-book
3. Automated Technology for Verification and Analysis
thumbnail
Full text!
Author:
Graf, Susanne; Kanade, Takeo; Zhang, Wenhui; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
4. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Hutchison, David; Boer, Frank S. de; Kanade, Takeo; de Boer, Frank S.; de Roever, Willem-Paul; Graf, Susanne; Bonsangue, Marcello M.
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
5. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
6. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book
7. Formal Methods for Components and Objects
thumbnail
Full text!
Author:
Boer, Frank S.; Boer, Frank S. de; Bonsangue, Marcello M.; Graf, Susanne; Kanade, Takeo; Roever, Willem-Paul; de Roever, Willem-Paul; Kittler, Josef; Roever, Willem-Paul de
Publisher:
Springer Berlin Heidelberg 2008
Format:
e-book