Susanne Graf

4 published titles

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 2

(Contributor)

1 edition

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, proceedings

(Contributor)

1 edition

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 ; proceedings

(Contributor)

1 edition

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 C

(Contributor)

1 edition