Susanne Graf | lit.salon

Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Susanne Graf | lit.salon

Susanne Graf

No bio available. Add one in Open Library.

Books by Susanne Graf (50 max)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science)

2004

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures (Lecture Notes in Computer Science)

2006

Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures (Lecture Notes in Computer Science)

2003

Frank S. de Boer, Marcello Bonsangue, Susanne Graf, Willem-Paul de Roever

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

2006

Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Susanne Graf, Wenhui Zhang

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-5, 2015, Proceedings

2015

Susanne Graf, Mahesh Viswanathan

Heimatklänge Wen das Meer ruft / Susanne Graf

1975

Nutritive Knochenveränderungen bei Frühgeborenen mit einem Geburtsgewicht von unter 1250 g

1991

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, Germany, March 25 - April 2, 2000 Proceedings

2003

Susanne Graf, Michael Schwartzbach

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

2004

Susanne Graf, Laurent Mounier

Wir vom Jahrgang 1978 - Kindheit und Jugend

2006

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures

2008

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

2019

Tiziana Margaria, Susanne Graf, Kim G. Larsen

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

2024

Susanne Graf, Paul Pettersson, Bernhard Steffen