Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση 'Lahiri, Shuvendu', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
1
Runtime Verification
ανά Lahiri, Shuvendu, Reger, Giles
Έκδοση 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
2
Automated Technology for Verification and Analysis
ανά Lahiri, Shuvendu K., Wang, Chao
Έκδοση 2020
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Λήψη πλήρους κειμένου
Προσθήκη στα αγαπημένα
Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS — Αποστολή αναζήτησης με email