@inproceedings{monteiro_et_al_pacbb_12,
    author = {{Pedro T.} Monteiro and Claudine Chaouiya},
    title = {Efficient verification for logical models of regulatory networks},
    booktitle = {Proc. 6th Intl. Conf. on Practical Applications on Computational Biology \& Bioinformatics {PACBB}'12 (Salamanca, Spain)},
    year = {2012},
    pages = {259--267},
    editor = {Miguel P. Rocha and Nicholas Luscombe and Florentino Fdez-Riverola and Juan M. Corchado Rodr\'iguez},
    publisher = {Springer Verlag},
    series = {Advances in Intelligent and Soft Computing},
    volume = {154},
    abstract = {The logical framework allows for the qualitative analysis of complex regulatory networks that control cellular processes. However, the study of large models is still hampered by the combinatorial explosion of the number of states. In this manuscript we present our work to analyse logical models of regulatory networks using model checking techniques. We propose a symbolic encoding (using NuSMV) of logical regulatory graphs, also considering priority classes. To achieve a reduction of the state space, we further label the transitions with the values of the input components. This encoding has been implemented in the form of an export facility in GINsim, a software dedicated to logical models. The potential of our symbolic encoding is illustrated through the analysis of the segment-polarity module of the Drosophila embryo segmentation.}
}