Erakusten 1 - 1 emaitzak -- 1 bilaketa honetara 'Pnueli, Amir', Bilaketaren denbora: 0,01s Findu emaitzak
  1. 1
    The Temporal logic of reactive and concurrent systems
    nork Manna, Zohar, Pnueli, Amir
    Argitaratua 1992
    Printed Book
Bilaketa egiteko lanabesak: RSS — Emaitzak posta elektronikoz bidali