Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008

Б2.2, Б3.5.

Formal Methods for Computationad Biology: Advanced Lectures/8th Intl School on FM for the Design of Computer, Communication & Software Systems, SFM 2008. Bertinoro, Italy , June 2008Ed. by Bernardo M., Degano P., Zavattaro G..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5016.-525 p.-(Lecture Notes in Computer Science).