2
Published 1997
Springer Berlin Heidelberg
..., Languages and Programming, ICALP '97, held in Bologna, Italy, in July 1997. ICALP '97 celebrated the 25th...

4
Published 1999
Springer US
... was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems...

5
Published 2011
Springer Berlin Heidelberg
..., FOSAD, held in Bertinoro, Italy, in September 2010 and August/September 2011. The topics covered...

6
Published 2004
Springer Berlin Heidelberg
... on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001...

7
Published 2009
Springer Berlin Heidelberg
.../2009, held in Bertinoro, Italy, in September 2007, August 2008, and August/September 2009. The topics...

8
Published 2009
Springer Berlin Heidelberg
... Methods in Systems Biology, CMSB 2009, held in Bologna, Italy, August 31 - September 1, 2009. The 18...