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

Marco Bernardo Pierpaolo Degano Gianluigi Zavattaro 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 5016 2008 978-3-540-68892-1 SFM Lecture Notes in Computer Science Springer db/conf/sfm/sfm2008.html