Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Kristensen, Lars M.', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Coloured Petri Nets Modelling and Validation of Concurrent Systems /
    ανά Jensen, Kurt, Kristensen, Lars M.
    Έκδοση 2009
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Kristensen, Lars M.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
    Έκδοση 2002
    Άλλοι συγγραφείς: “…Kristensen, Lars M.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email