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. : Jun 2008, Bertinoro, Italy.
(Lecture Notes in Computer Science ; 5016. Tutorial)