MPG.eBooks - Author Search Results

Cover Image

1

Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

Published 2008

Springer Berlin Heidelberg

Other Authors: “...Leucker, Martin...”

Cover Image

2

Runtime Verification : 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Leucker, Martin...”

Cover Image

3

Theoretical Aspects of Computing - ICTAC 2009 : 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings

Published 2009

Springer Berlin Heidelberg

Other Authors: “...Leucker, Martin...”

Cover Image

4

Formal Methods in Outer Space : Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Published 2021

Springer International Publishing

Other Authors: “...Leucker, Martin...”

Cover Image

5

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Published 2023

Springer International Publishing

Other Authors: “...Leucker, Martin...”

Cover Image

6

Theoretical Aspects of Computing - ICTAC 2015 : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

Published 2015

Springer International Publishing

Other Authors: “...Leucker, Martin...”

Cover Image

7

Model-Based Testing of Reactive Systems : Advanced Lectures

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Leucker, Martin...”

Cover Image

8

Formal Methods: Applications and Technology : 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel...

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Leucker, Martin...”