Treffer 1 – 3 von 3 für Suche 'Niebert, Peter', Suchdauer: 0,02s 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
    A temporal logic for the specification and verification of distributed behaviour

    A temporal logic for the specification and verification of distributed behaviour von Niebert, Peter

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    A temporal logic for the specification and verification of distributed behaviour

    A temporal logic for the specification and verification of distributed behaviour von Niebert, Peter

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Put your model checker on diet verification on local states

    Put your model checker on diet verification on local states von Huhn, Michaela, Niebert, Peter, Wallner, Frank

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: