1
Formal Techniques for Distributed Objects, Components, and Systems [E-Book] : 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 /
Other Personal Name(s): “...Graf, Susanne....”

Full text 
Favorites
Saved in:
2
Formal Methods for Components and Objects [E-Book] : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
Other Personal Name(s): “...Graf, Susanne...”

Full text 
Favorites
Saved in:
3
Formal Methods for Components and Objects (vol. # 4111) [E-Book] / 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Other Personal Name(s): “...Graf, Susanne...”

Full text 
Favorites
Saved in:
4
Automated Technology for Vertification and Analysis [E-Book] / 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Other Personal Name(s): “...Graf, Susanne...”

Full text 
Favorites
Saved in:
5
Formal Methods for Components and Objects (vol. # 3657) [E-Book] / Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Other Personal Name(s): “...Graf, Susanne...”

Full text 
Favorites
Saved in:
6
Model Checking Software [E-Book] : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings /
Other Personal Name(s): “...Graf, Susanne....”

Full text 
Favorites
Saved in:
7
Formal Methods for Components and Objects [E-Book] : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures /
Other Personal Name(s): “...Graf, Susanne....”

Full text 
Favorites
Saved in:
8
Formal Methods for Components and Objects [E-Book] : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures /
Other Personal Name(s): “...Graf, Susanne....”

Full text 
Favorites
Saved in:
9
Tools and Algorithms for the Construction and Analysis of Systems [E-Book] : 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 /
Other Personal Name(s): “...Graf, Susanne....”

Full text 
Favorites
Saved in:

Narrow Search Results