Showing 1 - 4 results of 4 for search 'Merz, Stephan 1963-', query time: 0.02s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Temporal logic and state systems

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

    Published 2008
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    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 1963-…”
    Description
    Conference Proceeding Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Formal methods and software engineering 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 ; proceedings

    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 1963-…”
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Workshop on trustworthy software May 18-19, 2006, Saarbrücken, Germany

    Published 2006
    Other Authors:
    Get full text
    Electronic Conference Proceeding eBook Interlibrary loan Place Request


    Saved in:

Search Tools: