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. Edited by Marco Bernardo - Pierpaolo Degano - Gianluigi Zavattaro. Berlin: Springer, 2008, x, 523. ISBN 9783540688921. |
Další formáty:
BibTeX
LaTeX
RIS
\textit{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}. Edited by Marco Bernardo - Pierpaolo Degano - Gianluigi Zavattaro. Berlin: Springer, 2008, x, 523. ISBN~9783540688921.
|