Stephan Merz

No bio available. Add one in Open Library.

Books by Stephan Merz (50 max)

+ shelf+ list

Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)

2008

Fred Kröger, Stephan Merz

+ shelf+ list

Modeling and Verification of Real-Time Systems Formalisms and Software Tools

2010

Nicolas Navet, Stephan Merz

+ shelf+ list

Formal systems specification: the RPC-memory specification case study

1996

M. Broy, Stephan Merz

+ shelf+ list

Modeling and verification of real-time systems: formalisms and software tools

2008

Nicolas Navet, Stephan Merz

+ shelf+ list

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

2010

Dominique Méry, Stephan Merz

+ shelf+ list

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

2014

Stephan Merz, Jun Pang

+ shelf+ list

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

2016

Jasmin Christian Blanchette, Stephan Merz