gefundene Verfasser Henzinger, Thomas A

Henzinger, Thomas 1962-
Alur, Rajeev
Manna, Zohar 1939-2018
Pnueli, Amir
De Alfaro, Luca
Alle anzeigen »
Feder, Tomás

Treffer 1 - 6 von 6 für Suche 'Henzinger, Thomas A', Suchdauer: 0,43s Treffer weiter einschränken
  1. 1
    A really temporal logic

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

    Veröffentlicht 1989
    Buch

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures

    Engineering theories of software intensive systems International Summer School Marktoberdorf August 3 to August 15, 2004; working material for the lectures von De Alfaro, Luca, Henzinger, Thomas 1962-

    Veröffentlicht 2004
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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:
  4. 4
    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:
  5. 5
    An interleaving model for real time

    An interleaving model for real time von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Temporal proof methodologies for real-time systems

    Temporal proof methodologies for real-time systems von Henzinger, Thomas 1962-, Manna, Zohar 1939-2018, Pnueli, Amir

    Veröffentlicht 1990
    Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: