Resolution:
## Figure 3.
The computational part of the “Probabilistic model checking of the SBML stochastic
model” workflow and the resulting plot for the stochastic model of the enzymatic reaction
(Equation (1)). Pink boxes represent nested workflows, corresponding to Tav4SB WS operations wrappers.
See text for more details.
Rybiński |