Εμφανίζονται 1 - 12 Αποτελέσματα από 12 για την αναζήτηση 'Peled, Doron', χρόνος αναζήτησης: 0,04δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computer Aided Verification 11th International Conference, CAV'99, Trento, Italy, July 6-10, 1999, Proceedings /
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Peled, Doron…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Time for Verification Essays in Memory of Amir Pnueli
    ανά Manna, Zohar
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  3. 3
    Computer Aided Verification 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004. Proceedings /
    Έκδοση 2004
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Time for Verification Essays in Memory of Amir Pnueli /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Runtime Verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Formal Techniques for Networked and Distributed Systems - FORTE 2002 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Automated Technology for Verification and Analysis 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
    Έκδοση 2016
    Άλλοι συγγραφείς: “…Peled, Doron…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  8. 8
    Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Model checking and artificial intelligence /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Πρακτικό Συνεδρίου Βιβλίο
  11. 11
    Model checking /
    Άλλοι συγγραφείς: “…Peled, Doron A., 1962-…”
    Βιβλίο
  12. 12
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Peled, Doron A.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email