Showing 1 - 5 results of 5 for search 'Merz, Stephan', query time: 0.02s Refine Results
  1. 1
    Temporal Logic and State Systems
    by Kröger, Fred, Merz, Stephan
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    by MΓ©ry, Dominique
    Published 2010
    Other Authors: “…Merz, Stephan…”
    Get full text
    Electronic Kit Book
  3. 3
    Integrated Formal Methods 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings /
    Published 2010
    Other Authors: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings /
    Published 2014
    Other Authors: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
    Published 2016
    Other Authors: “…Merz, Stephan…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search