Treffer 1 – 4 von 4 für Suche 'Lüttgen, Gerald', Suchdauer: 0,04s 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
    Is observational congruence on µ-expressions axiomatisable in equational horn logic?

    Is observational congruence on µ-expressions axiomatisable in equational horn logic? von Mendler, Michael, Lüttgen, Gerald

    Veröffentlicht 2007
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Pre-emptive modeling of concurrent and distributed systems

    Pre-emptive modeling of concurrent and distributed systems von Lüttgen, Gerald

    Veröffentlicht 1998
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Compositional minimization of finite state systems using interface specifications

    Compositional minimization of finite state systems using interface specifications von Graf, Susanne 1958-, Steffen, Bernhard, Lüttgen, Gerald

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Special issue: comprehending asynchrony in specification and analysis

    Special issue: comprehending asynchrony in specification and analysis

    Veröffentlicht 2015
    Weitere Verfasser: “… Lüttgen, Gerald …”
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: