Treffer 1 – 3 von 3 für Suche 'Gough, Graham D.', 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
    Decision procedures for temporal logic

    Decision procedures for temporal logic von Gough, Graham D.

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    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 Fernleihe Bestellen


    Gespeichert in:
  3. 3
    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 Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: