Treffer 1 – 3 von 3 für Suche 'Barnard, Dieter', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Temporal language of transitions and client server systems

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

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1993
    Buch Fernleihe Bestellen


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

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

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: