Sfoglia per Autore
Mostrati risultati da 1 a 1 di 1
| Istituto | Anno di pubblicazione | Titolo | Autore | file(s) |
|---|---|---|---|---|
| Università degli Studi di Genova | 2006 | SAT-based model-checking of security protocols a dissertation submitted for the degree of doctor of philosophy in electronics and computer science engineering under a joint programme between Università degli studi di Genova and the University of Edimburgh | - |
Mostrati risultati da 1 a 1 di 1
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile