MPG.eBooks - Author Search Results

Cover Image

1

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

by Bošnački, Dragan
Published 2002

Springer-Verlag Berlin Heidelberg

Other Authors: “...Leue, Stefan...”

Cover Image

2

Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Leue, Stefan...”

Cover Image

3

Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Published 2002

Springer Berlin Heidelberg

Other Authors: “...Leue, Stefan...”

Cover Image

4

Scenarios: Models, Transformations and Tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Leue, Stefan...”

Cover Image

5

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops Trento, Italy, July 5, 1999 Toulouse, France, September 21 and 24, 1999 Proceedi...

by Dams, Dennis
Published 1999

Springer-Verlag Berlin Heidelberg

Other Authors: “...Leue, Stefan...”

Cover Image

6

Theoretical and Practical Aspects of SPIN Model Checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proce...

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Leue, Stefan...”