Showing 1 - 3 results of 3 for search 'Barnard, Dieter', 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 language of transitions and client server systems

    Temporal language of transitions and client server systems by Barnard, Dieter

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  2. 2
    Model checking for the modal mu-calculus using Gauß elimination

    Model checking for the modal mu-calculus using Gauß elimination by Barnard, Dieter, Mader, Angelika

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  3. 3
    Temporal language of transitions and client server systems

    Temporal language of transitions and client server systems by Barnard, Dieter

    Published 1997
    Indexes
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: