Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση 'Choi, Yunja', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    Automatic abstraction for model checking software systems with interrelated numeric constraints. ανά Choi, Yunja

    Τόπος έκδοσης Software engineering notes.
    Άρθρο

    Automatic abstraction for model checking software systems with interrelated numeric constraints.

Εργαλεία αναζήτησης: