Search Results - Merz, Stephan

  • Showing 1 - 4 results of 4
Refine Results
  1. 1

    Temporal logic and state systems by Kröger, Fred, 1945-

    Published: Springer, 2008
    Description: 1 online resource (xi, 433 pages) : illustrations.
    Other Authors: “…Merz, Stephan…”
    SpringerLink - Click here for access
    eBook
    Save to List
    Saved in:
    Temporal logic and state systems
  2. 2

    Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings by International Conference on Integrated Formal Methods Nancy, France, SpringerLink (Online service)

    Published: Springer, 2010
    Description: 1 online resource (x, 335 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Integrated formal methods : 8th international conference, IFM 2010, Nancy, France, October 11-14, 2010 : proceedings
  3. 3

    Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings by ITP (Conference) Nancy, France), SpringerLink (Online service)

    Published: Springer, 2016
    Description: 1 online resource (xvii, 502 pages) : illustrations.
    Other Authors:
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Interactive theorem proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016. Proceedings
  4. 4

    Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings by International Conference on Formal Engineering Methods Luxembourg, Luxembourg, SpringerLink (Online service)

    Published: Springer, 2014
    Description: 1 online resource (xviii, 460 pages) : illustrations.
    Other Authors: “…Merz, Stephan…”
    SpringerLink - Click here for access
    Conference Proceeding eBook
    Save to List
    Saved in:
    Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings

Search Tools: