MPG.eBooks - Author Search Results

Cover Image

1

Temporal Logic and State Systems

by Kröger, Fred, Merz, Stephan
Published 2008

Springer Berlin Heidelberg

Cover Image

2

Formal Systems Specification : The RPC-Memory Specification Case Study

by Broy, Manfred
Published 1996

Springer

Other Authors: “...Merz, Stephan...”

Cover Image

3

Formal Methods and Software Engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

Published 2014

Springer International Publishing

Other Authors: “...Merz, Stephan...”

Cover Image

4

Integrated Formal Methods : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Other Authors: “...Merz, Stephan...”

Cover Image

5

Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Merz, Stephan...”

Cover Image

6

Formal Systems Specification : The RPC-Memory Specification Case Study

Published 1996

Springer Berlin Heidelberg

Other Authors: “...Merz, Stephan...”