Visas 1 - 1 av 1 resultat för sökning 'Pnueli, Amir', Sökningstid : 0,01s Förfina resultatet
  1. 1
    The Temporal logic of reactive and concurrent systems
    av Manna, Zohar, Pnueli, Amir
    Publicerad 1992
    Printed Book
Sökverktyg: RSS-flöde — Skicka sökningen per e-post