Treffer 1 – 3 von 3 für Suche 'Gerth, Rob', 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
    Partial order reductions preserving simulations

    Partial order reductions preserving simulations von Gerth, Rob, Kuiper, Ruurd, Penczek, Wojciech

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Abstract interpretation reactive systems preservation of CTL

    Abstract interpretation reactive systems preservation of CTL von Dams, Dennis, Grumberg, Orna, Gerth, Rob T.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Syntax-directed verification of distributed systems = Door de syntax gestructureerde verificatie van gedistribueerde systemen

    Syntax-directed verification of distributed systems = Door de syntax gestructureerde verificatie van gedistribueerde systemen von Gerth, Rob T.

    Veröffentlicht 1989
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: