@Inproceedings{EPTCS92.4, author = {Mobilia, Nicolas and Donz\'e, Alexandre and Moulis, Jean Marc and Fanchon, \'Eric}, year = {2012}, title = {A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration}, editor = {Bartocci, Ezio and Bortolussi, Luca}, booktitle = {{\rm Proceedings First International Workshop on} Hybrid Systems and Biology, {\rm Newcastle Upon Tyne, 3rd September 2012}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {92}, publisher = {Open Publishing Association}, pages = {42-57}, doi = {10.4204/EPTCS.92.4}, }