Susanne Graf profile picture

Susanne Graf

Is this your author profile? Create an account to customize it!

Stand Alone

Automated technology for verification and analysis
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
Model Checking Software
Wir vom Jahrgang 1978 Kindheit und Jugend
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings