Abstract interpretation and types for systems biology.
François FagesSylvain SolimanPublished in: Theor. Comput. Sci. (2008)
Keyphrases
- systems biology
- high throughput
- abstract interpretation
- biochemical networks
- biological systems
- biological data
- biological networks
- computational biology
- molecular biology
- gene regulatory networks
- protein protein interactions
- termination analysis
- model checking
- data structure
- life sciences
- active rules
- integrity constraints