@inbook {58, title = {Decision Diagrams for the Representation and Analysis of Logical Models of Genetic Networks}, booktitle = {Computational Methods in Systems Biology}, series = {Lecture Notes in Computer Science}, volume = {4695}, year = {2007}, pages = {233-247}, publisher = {Springer Berlin Heidelberg}, organization = {Springer Berlin Heidelberg}, keywords = {decision diagrams, logical modelling, regulatory circuits, Regulatory networks, stable states}, isbn = {978-3-540-75139-7}, doi = {10.1007/978-3-540-75140-3_16}, url = {http://dx.doi.org/10.1007/978-3-540-75140-3_16}, author = {Naldi, Aur{\'e}lien and Thieffry, Denis and Chaouiya, Claudine}, editor = {Calder, Muffy and Gilmore, Stephen} }