Πλοήγηση ανά συγγραφέα Alexiou, Nikolaos
Αποτελέσματα 2 έως 2 από 2
< προηγούμενη
Ημερομηνία Έκδοσης | Τίτλος | Συγγραφέας(εις) |
---|---|---|
Ιου-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 |