Showing 1 - 4 results of 4 for search 'Leuschel, Michael', 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
    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming

    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming by Leuschel, Michael

    Published 2007
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  2. 2
    Model checking object Petri nets in Maude and Prolog

    Model checking object Petri nets in Maude and Prolog by Farwer, Berndt, Leuschel, Michael

    Published 2004
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation

    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation by Leuschel, Michael

    Published 2003
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  4. 4
    Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings

    Rigorous state-based methods 10th international conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, proceedings

    Published 2024
    Other Authors:

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:

Search Tools: