. Wikipedia, Binary decision diagrams

R. Bryan, Graph-based algorithm for boolean function manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.

H. De, J. Gouzé, C. Hernandez, P. M. , T. Sari et al., Qualitative simulation of genetic regulatory networks using piecewise-linear models, Bulletin of Mathmatica Biology, vol.66, pp.301-340, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00173849

J. L. Dormoy, Controlling qualitative resolution, Proceedings of the seventh National Conference on Artificial Intelligence, AAAI88', Saint-Paul, 1988.

H. Marchand, E. Rutten, M. L. Borgne, and M. Samaan, Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001.
DOI : 10.1016/S0167-6423(00)00020-4

URL : https://hal.archives-ouvertes.fr/inria-00526287

. Regulondb, Escherichia coli K-12 transcriptional regulatory network, operon organization, and growth conditions, Nucleic Acids Res, vol.1, issue.34, pp.394-401, 2006.

A. Siegel, O. Radulescu, M. Le-borgne, P. Veber, J. Ouy et al., Qualitative analysis of the relation between DNA microarray data and behavioral models of regulation networks, Biosystems, vol.84, issue.2, pp.153-174, 2006.
DOI : 10.1016/j.biosystems.2005.10.006

URL : https://hal.archives-ouvertes.fr/inria-00178809

P. Veber, L. Borgne, . Siegel, O. Lagarrigue, and . Radulescu, Complex Qualitative Models in Biology: A New Approach, Complexus, vol.2, issue.3-4, pp.3-4140, 2004.
DOI : 10.1159/000093686

URL : https://hal.archives-ouvertes.fr/inria-00178819

I. Unité-de-recherche, . Lorraine, and . Technopôle-de-nancy-brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 2004.