Roberto Gorrieri
8 published titles
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings
(Contributor)
1 edition
- ISBN: 3540631658
- Springer
- 1997
- Details
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, Fl
(Contributor)
1 edition
- ISBN: 0792384296
- Kluwer Academic
- 1999
- Details
Foundations of security analysis and design : tutorial lectures
(Contributor)
1 edition
- ISBN: 3540428968
- Springer
- 2001
- Details
Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures
(Contributor)
1 edition
- ISBN: 3540209557
- Springer
- 2004
- Details
Foundations of security analysis and design III : FOSAD 2004/2005 turorial lectures
(Contributor)
1 edition
- ISBN: 9783540289555
- Springer
- 2005
- Details
Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006 Bologna, Italy, June 2006 proceedings
(Contributor)
1 edition
- ISBN: 9783540348931
- Springer
- 2006
- Details
Foundations of security analysis and design V : FOSAD 2007/2008/2009 tutorial lectures
(Contributor)
1 edition
- ISBN: 9783642038280
- Springer
- 2009
- Details
Foundations of security analysis and design VI : FOSAD tutorial lectures
(Contributor)
1 edition
- ISBN: 9783642230813
- Springer
- 2011
- Details
