Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Somenzi, Fabio', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1
    Logic synthesis and verification algorithms
    ανά Hatchtel, Gary D., Somenzi, Fabio
    Έκδοση 1996
    Βιβλίο
  2. 2
    Abstraction Refinement for Large Scale Model Checking
    ανά Wang, Chao
    Έκδοση 2006
    Άλλοι συγγραφείς: “…Somenzi, Fabio…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email