Εμφανίζονται 1 - 7 Αποτελέσματα από 7 για την αναζήτηση 'Majumdar, Rupak', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    ανά Esparza, Javier
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  2. 2
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Έκδοση 2015
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings /
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Majumdar, Rupak…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email