Formal methods for open object-based distributed systems : IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line. - Текст : электронный.
Computational methods in systems biology : 7th International conference, CMSB 2009, Bologna, Italy, Aug. 31-Sept. 1, 2009: proceedings / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.