Computational Methods in Systems Biology : 7th International Conference, CMSB 2009 - Pierpaolo Degano, Roberto Gorrieri ((Lecture Notes in Computer Science))