Susanne Graf (Graf, Susanne)

English

• 
  Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
  by Susanne Graf, Wenhui Zhang
  Softcover, Springer-Verlag New York Inc, ISBN 3540472371 (3-540-47237-1)
• 
  Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures
  by Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Marcello M. Bonsangue
  Softcover, Springer Verlag, ISBN 3540203036 (3-540-20303-6)

  More editions of Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures:

  • Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures: Softcover, Springer-Verlag New York Inc, ISBN 3540291318 (3-540-29131-8)
  • Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures: Softcover, Springer-Verlag New York Inc, ISBN 3540367497 (3-540-36749-7)
  • Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006, Revised Lectures: Softcover, Springer-Verlag New York Inc, ISBN 3540747915 (3-540-74791-5)
• 
  Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
  by Fmco 200 (2003 Leiden, Netherlands), Susanne Graf, Willem-Paul De Roever, Frank S. de Boer, Marcello M. Bonsangue
  Softcover, Springer-Verlag New York Inc, ISBN 3540229426 (3-540-22942-6)
• 
  Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
  by Susanne Graf, Laurent Mounier
  Softcover, Springer-Verlag New York Inc, ISBN 3540213147 (3-540-21314-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 of Software, Etaps 2000, Berlin, germa
  by Tacas 2000, Michael I. Schwartzbach, Susanne Graf
  Softcover, Springer Verlag, ISBN 3540672826 (3-540-67282-6)

German

• 
  Verdachts- Und Ereignisunabhangige Personenkontrollen: Polizeirechtliche Und Verfassungsrechtliche Aspekte Der Schleierfahndung
  by Susanne Graf
  Softcover, Duncker & Humblot, ISBN 3428118227 (3-428-11822-7)
• Wir vom Jahrgang 1978 - Kindheit und Jugend. Jahrgangsbände
  by Susanne Graf
  Softcover, ISBN 3831315787 (3-8313-1578-7)