Formal Cell Biology in Biocham

Francois Fages, Sylvain Soliman
June 2008
HAL DOI
Type
Conference paper
Publication
In SFM 2008: Formal Methods for Computational Systems Biology, volume 5016 of Lecture Notes in Computer Science, pages 54-80, Springer Berlin Heidelberg