(2008). Formal methods for computational systems biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 ; advanced lectures. Springer.
Chicago-Zitierstil (17. Ausg.)Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 ; Advanced Lectures. Berlin [u.a.]: Springer, 2008.
MLA-Zitierstil (9. Ausg.)Formal Methods for Computational Systems Biology: 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2 - 7, 2008 ; Advanced Lectures. Springer, 2008.