gefundene Verfasser ALUR, H

Alur, Rajeev
Henzinger, Thomas 1962-
Feder, Tomás

Treffer 1 - 3 von 3 für Suche 'ALUR, H', Suchdauer: 1,63s Treffer weiter einschränken
  1. 1
    The benefits of relaxing punctuality

    The benefits of relaxing punctuality von Alur, Rajeev, Feder, Tomás, Henzinger, Thomas 1962-

    Veröffentlicht 1991
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    A really temporal logic

    A really temporal logic von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Real-time logics complexity and expressiveness

    Real-time logics complexity and expressiveness von Alur, Rajeev, Henzinger, Thomas 1962-

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: