On the Use of Temporal Formal Logic to Model Gene Regulatory Networks

Gilles Bernot, Jean-Paul Comet. On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. In Francesco Masulli, Leif E. Peterson, Roberto Tagliaferri, editors, Computational Intelligence Methods for Bioinformatics and Biostatistics, 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers. Volume 6160 of Lecture Notes in Computer Science, pages 112-138, Springer, 2009. [doi]

Abstract

Abstract is missing.