Αναζήτηση
Προσθήκη Φίλτρων:
Χρησιμοποιήστε φίλτρα για να κάνετε καλύτερη την αναζήτησή σας.
Αποτελέσματα 1-1 από 1 (χρόνος αναζήτησης: 0.001 δευτερόλεπτα).
- προηγούμενη
- 1
- επόμενη
Αποτελέσματα από Τεκμήρια:
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας(εις) |
---|---|---|
Ιου-2011 | Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach | Basagiannis, Stylianos; Petridou, Sophia; Alexiou, Nikolaos; Papadimitriou, Georgios I.; Katsaros, Panagiotis |