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 - International School on Formal Methods for the Design of Computer, Communication, and Software Systems 2008 : Bertinoro, Italy); Bernardo, Marco; Degano, Pierpaolo, 1950-; Zavattaro, Gianluigi; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Lectures.
Includes bibliographical references and index.
Also issued online.
Keywords: Formal methods (Computer science) -- Congresses; Integrated circuits -- Verification -- Congresses