Stephan Merz

Books by Stephan Merz

Total count: 6

• Temporal Logic and State Systems

  Springer London, Limited2008-01-01
• Modeling and Verification of Real-Time SystemsFormalisms and Software Tools

  Wiley & Sons, Incorporated, John2010-01-01
• Integrated Formal Methods8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

  Springer London, Limited2010-01-01
• Modeling and Verification of Real-Time SystemsFormalisms and Software Tools

  Wiley & Sons, Incorporated, John2010-01-01
• Formal Methods and Software Engineering16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings

  Springer London, Limited2014-01-01
• 
  Interactive Theorem Proving7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

  Springer2016-08-07