High-performance analysis of biological systems dynamics with the DiVinE model checker


The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological… (More)
DOI: 10.1093/bib/bbp074


7 Figures and Tables

Slides referencing similar topics