MPG.eBooks - Search Results - "Berlin"

Cover Image

1

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 o...

Published 2000

Springer Berlin Heidelberg

“... and Algorithms for the Construction and Analysis of Systems, TACAS 2000, held as part of ETAPS 2000 in Berlin...”

Cover Image

2

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Published 2005

Springer Berlin Heidelberg

Cover Image

3

Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Published 2007

Springer Berlin Heidelberg

Cover Image

4

Formal Methods for Components and Objects : Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Published 2004

Springer Berlin Heidelberg

Cover Image

5

Formal Methods for Components and Objects : 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Published 2008

Springer Berlin Heidelberg

Cover Image

6

Formal Methods for Components and Objects : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Published 2006

Springer Berlin Heidelberg

Cover Image

7

Formal Methods for Components and Objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Published 2003

Springer Berlin Heidelberg

Cover Image

8

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

Published 2004

Springer Berlin Heidelberg