Εμφανίζονται 1 - 5 Αποτελέσματα από 5 για την αναζήτηση 'Grumberg, Orna', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computer Aided Verification 9th International Conference, CAV'97, Haifa, Israel, June 22-25, 1997, Proceedings /
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    25 Years of Model Checking History, Achievements, Perspectives /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings /
    Έκδοση 2007
    Άλλοι συγγραφείς: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Model checking /
    Άλλοι συγγραφείς: “…Grumberg, Orna…”
    Βιβλίο
  5. 5
    Languages: From Formal to Natural Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Grumberg, Orna…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email