Treffer 1 - 3 von 3 für Suche 'Niebert, Peter', Suchdauer: 0,26s Treffer weiter einschränken
  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

    Zu den Favoriten
    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

    Zu den Favoriten
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: