Mostra 1 - 2 risultati di 2 ricerca 'Cortier, Véronique', tempo di risposta: 0,04s Raffina i risultati
1
Formal Models and Techniques for Analyzing Security Protocols
di Cortier, Véronique, Kremer, Steve
Pubblicazione 2013
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
2
Electronic Voting
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Testo
Aggiungi alla lista
Salvato in:
Strumenti per la ricerca: Feed RSS — Invia questa ricerca per email