Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Leue, Stefan', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Model Checking Software 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings /
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Leue, Stefan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /
    Έκδοση 2008
    Άλλοι συγγραφείς: “…Leue, Stefan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Scenarios: Models, Transformations and Tools International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers /
    Έκδοση 2005
    Άλλοι συγγραφείς: “…Leue, Stefan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Theoretical and Practical Aspects of SPIN Model Checking 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999, Proceedings /
    Έκδοση 1999
    Άλλοι συγγραφείς: “…Leue, Stefan…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email