4 Place Jussieu, 75005 Paris
BioSys.SU@gmail.com

Computational Modeling, Formal Analysis, and Tools for Systems Biology (Bartocci and Lió – 2016)