Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Pnueli, Amir', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
    ανά Pnueli, Amir
    Έκδοση 2010
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    The temporal logic of reactive and concurrent systems specification
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1992
    Βιβλίο
  3. 3
    Temporal verification of reactive systems Safety
    ανά Manna, Zohar, Pnueli, Amir
    Έκδοση 1995
    Βιβλίο
  4. 4
    Hybrid Systems: Computation and Control 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Pnueli, Amir…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Pnueli, Amir…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Compositionality: The Significant Difference International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures /
    Έκδοση 1998
    Άλλοι συγγραφείς: “…Pnueli, Amir…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email