𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Logical Modelling of Regulatory Networks, Methods and Applications

✍ Scribed by Claudine Chaouiya, Elisabeth Remy


Book ID
120840073
Publisher
Springer
Year
2013
Tongue
English
Weight
222 KB
Volume
75
Category
Article
ISSN
1522-9602

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Application of formal methods to biologi
✍ Gilles Bernot; Jean-Paul Comet; Adrien Richard; Janine Guespin πŸ“‚ Article πŸ“… 2004 πŸ› Elsevier Science 🌐 English βš– 310 KB

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 s

Logic of gene regulatory networks
✍ Stefan C Materna; Eric H Davidson πŸ“‚ Article πŸ“… 2007 πŸ› Elsevier Science 🌐 English βš– 800 KB