Quantitative Verification Techniques for Biological Processes.
Marta KwiatkowskaGethin NormanDavid ParkerPublished in: Algorithmic Bioprocesses (2009)
Keyphrases
- biological processes
- gene expression
- biological data
- protein protein interactions
- molecular biology
- computational biology
- biological systems
- microarray
- biological networks
- biomedical literature
- systems biology
- high throughput
- experimental conditions
- machine learning
- gene expression data
- ad hoc networks
- data sets
- complex systems
- protein interaction
- databases