Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Rajamani, Sriram K.', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings /
    Έκδοση 2003
    Άλλοι συγγραφείς: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings
    ανά Leavens, Gary T
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Rajamani, Sriram K…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  4. 4
    Verified Software: Theories, Tools, Experiments Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Rajamani, Sriram K.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email