M. L. Blinov, BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains, Bioinformatics, vol.20, issue.17, pp.3289-3291, 2004.
DOI : 10.1093/bioinformatics/bth378

A. Bockmayer and A. Courtois, Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems, Proceedings of the International Conference on Logic Programming, pp.85-99, 2002.
DOI : 10.1007/3-540-45619-8_7

L. Calzone, Machine Learning Biochemical Networks from Temporal Logic Properties, Trans. Comput. Syst. Biol, 2006.
DOI : 10.1007/11880646_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.75.5250

N. Chabrier-rivier, Modeling and querying biomolecular interaction networks, Theoretical Computer Science, vol.325, issue.1, pp.25-44, 2004.
DOI : 10.1016/j.tcs.2004.03.063
URL : http://doi.org/10.1016/j.tcs.2004.03.063

A. Cimatti, E. Clarke, E. Giunchiglia, F. G. Pistore, M. Roveri et al., NuSMV 2: An OpenSource Tool for Symbolic Model Checking, Proceedings of the International Conference on Computer-Aided Verification , CAV'02, 2002.
DOI : 10.1007/3-540-45657-0_29
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.8023

E. M. Clarke, O. Grumberg, and D. A. Peled, ) Model Checking, 1999.

S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer et al., PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING, Biocomputing 2002, pp.400-412, 2002.
DOI : 10.1142/9789812799623_0038

F. Fages, S. Soliman, and N. Chabrier-rivier, Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM, Journal of Biological Physics and Chemistry, vol.4, issue.2, pp.64-73, 2004.
DOI : 10.4024/2040402.jbpc.04.02
URL : https://hal.archives-ouvertes.fr/hal-01431345

R. Hofestädt and S. Thelen, Quantitative modeling of biochemical networks, Silico Biol, vol.1, pp.39-53, 1998.

K. W. Kohn, Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems, Molecular Biology of the Cell, vol.10, issue.8, pp.2703-2734, 1999.
DOI : 10.1091/mbc.10.8.2703

L. Lok and R. Brent, Automatic generation of cellular reaction networks with Moleculizer 1.0, Nature Biotechnology, vol.6, issue.1, pp.131-136, 2005.
DOI : 10.1093/bioinformatics/btg015

A. Regev, BioAmbients: an abstraction for biological compartments, Theoretical Computer Science, vol.325, issue.1, pp.141-167, 2004.
DOI : 10.1016/j.tcs.2004.03.061
URL : http://doi.org/10.1016/j.tcs.2004.03.061

A. Regev, W. Silverman, and E. Y. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, Proceedings of the sixth Pacific Symposium of Biocomputing, pp.459-470, 2001.