More by Alessandro Aldini
Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures
Foundations of Security Analysis and Design V: FOSAD 2008/2009 Tutorial Lectures
Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures
Foundations of Security Analysis and Design II: FOSAD 2001/2002 Tutorial Lectures
Foundations of Security Analysis and Design: Tutorial Lectures
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings
Computational Methods in Systems Biology: 7th International Conference, CMSB 2009
Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy
Book 10