Treffer 1 - 3 von 3 für Suche 'Gough, Graham D.', Suchdauer: 0,08s Treffer weiter einschränken
  1. 1
    Fair SMG and linear time model checking

    Fair SMG and linear time model checking von Barringer, Howard, Fisher, Michael 1962-, Gough, Graham D.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A semantics driven temporal verification system

    A semantics driven temporal verification system von Gough, Graham D., Barringer, Howard

    Veröffentlicht 1987
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Decision procedures for temporal logic

    Decision procedures for temporal logic von Gough, Graham D.

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: