MPG.eBooks - Author Search Results

Susanne Graf

Susanne Graf (born 15 August 1992 in Berlin) is a German politician and member of the Pirate Party Berlin, a state chapter of the national Pirate Party. In the Berlin state election on 18 September 2011 she was elected to the state parliament in Berlin and served for one term until fall of 2016 without seeking re-election. Provided by Wikipedia

Cover Image

1

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

by Graf, Susanne
Published 2004

Springer Berlin Heidelberg

Cover Image

2

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice o...

by Graf, Susanne
Published 2000

Springer-Verlag Berlin Heidelberg

Cover Image

3

Verdachts- und ereignisunabhängige Personenkontrollen : Polizeirechtliche und verfassungsrechtliche Aspekte der Schleierfahndung

by Graf, Susanne
Published 2011

Duncker & Humblot

Cover Image

4

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 Confere...

Published 2015

Springer International Publishing

Other Authors: “...Graf, Susanne...”

Cover Image

5

Model Checking Software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

6

Automated Technology for Verification and Analysis : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

7

Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, TACAS 2000 Held as Part of the Joint European Conferences on Theory and Practice o...

Published 2000

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

8

Real Time and Such : Essays Dedicated to Wang Yi to Celebrate His Scientific Career

Published 2025

Springer Nature Switzerland

Other Authors: “...Graf, Susanne...”

Cover Image

9

Models, Mindsets, Meta: The What, the How, and the Why Not? : Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday

Published 2019

Springer International Publishing

Other Authors: “...Graf, Susanne...”

Cover Image

10

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

by Boer, Frank Sde
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

11

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

by Boer, Frank S de
Published 2004

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

12

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

13

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

14

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

15

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Published 2004

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

16

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”

Cover Image

17

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Graf, Susanne...”