Resumes
Resumes
Susanne Graf Phones & Addresses
-
De Pere, WI
-
125 Meadowlark Dr, Burlington, WI 53105 (262) 767-7282
-
125 Meadowlark Dr APT 8, Burlington, WI 53105 (262) 767-7282
-
Galesville, WI
Publications
Wikipedia References
Susanne Graf
Isbn (Books And Publications)
Verdachts- Und Ereignisunabhangige Personenkontrollen: Polizeirechtliche Und Verfassungsrechtliche Aspekte Der Schleierfahndung
View page
Author
Susanne Graf
ISBN #
3428118227
Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002 Revised Lectures
View page
Author
Susanne Graf
ISBN #
3540203036
Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
View page
Author
Susanne Graf
ISBN #
3540213147
Formal Methods For Components And Objects: Second International Symposium, Fmco 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
View page
Author
Susanne Graf
ISBN #
3540229426
Formal Methods for Components And Objects: Third International Symposium, Fmco 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures
View page
Author
Susanne Graf
ISBN #
3540291318
Formal Methods for Components And Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures
View page
Author
Susanne Graf
ISBN #
3540367497
Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
View page
Author
Susanne Graf
ISBN #
3540472371
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 20
View page
Author
Susanne Graf
ISBN #
3540672826