Treffer 1 - 1 von 1 für Suche 'Pnueli, Amir', Suchdauer: 0,01s Treffer weiter einschränken
  1. 1
    The Temporal logic of reactive and concurrent systems
    von Manna, Zohar, Pnueli, Amir
    Veröffentlicht 1992
    Printed Book
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden