Showing 1 - 6 results of 6 for search 'Graf, Susanne', query time: 0.02s Refine Results
  1. 1
    Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
    by Graf, Susanne
    Published in Springer e-books (2006)
    Get full text
    eBook
  2. 2
    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 /
    Published in Springer eBooks (2015)
    Other Authors: “...Graf, Susanne...”
    Get full text
    eBook
  3. 3
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    by Boer, Frank S.
    Published in Springer eBooks (2007)
    Other Authors: “...Graf, Susanne...”
    Get full text
    eBook
  4. 4
    Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    by de Boer, Frank S.
    Published in Springer e-books (2006)
    Other Authors: “...Graf, Susanne...”
    Get full text
    eBook
  5. 5
    Formal Methods for Components and Objects (vol. # 3657) Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    by Bonsangue, Marcello M.
    Published in Springer e-books (2005)
    Other Authors: “...Graf, Susanne...”
    Get full text
    eBook
  6. 6
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    by Hutchison, David
    Published in Springer eBooks (2008)
    Other Authors: “...Graf, Susanne...”
    Get full text
    eBook
Search Tools: Get RSS Feed