13 search results - page 1 / 3 » cmsb 2009 |
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we describe reachability computation for continuous and hybrid systems and its potential contribution to the process of building and debugging biological mo...
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Dynamic compartments with mutable configurations and variable volumes are of basic interest for the stochastic modeling of biochemistry in cells. We propose a new language to expr...
CMSB
2009
Springer
13 years 11 months ago
2009
Springer
Bio-PEPA is a process algebra for modelling biological systems. An important aspect of Bio-PEPA is the ability it provides to discretise concentrations resulting in a smaller, more...