ARMANDO, ALESSANDRO
ARMANDO, ALESSANDRO
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Automated Reasoning - Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney
2008-01-01 Armando, Alessandro; Baumgartner, P; Dowek, G.
Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
2010-01-01 Armando, Alessandro; Lowe, G.
Frontiers of Combining Systems4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 ProceedingsLNCS 2309/2002
2002-01-01 Armando, Alessandro
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated Reasoning - Proceedings of the 4th International Joint Conference on Automated Reasoning, IJCAR 2008, Sydney | 1-gen-2008 | Armando, Alessandro; Baumgartner, P; Dowek, G. | |
| Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security | 1-gen-2010 | Armando, Alessandro; Lowe, G. | |
| Frontiers of Combining Systems4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 ProceedingsLNCS 2309/2002 | 1-gen-2002 | Armando, Alessandro |