Journal
JOURNAL OF THEORETICAL BIOLOGY
Volume 229, Issue 3, Pages 339-347Publisher
ACADEMIC PRESS LTD- ELSEVIER SCIENCE LTD
DOI: 10.1016/j.jtbi.2004.04.003
Keywords
biological regulatory networks; formal methods; temporal logic; model checking
Categories
Ask authors/readers for more resources
Based on the discrete definition of biological regulatory networks developed by Rene Thomas, we provide a computer science formal approach to treat temporal properties of biological regulatory networks, expressed in computational tree logic. It is then possible to build all the models satisfying a set of given temporal properties. Our approach is illustrated with the mucus production in Pseudomonas aeruginosa. This application of formal methods from computer science to biological regulatory networks should open the way to many other fruitful applications. (C) 2004 Elsevier Ltd. All rights reserved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available