swMATH12884MaRDI QIDQ24808FDOQ24808
Author name not available (Why is that?)
Official website: http://arxiv.org/pdf/1005.2819v1.pdf
Cited In (11)
- Approximation of event probabilities in noisy cellular processes
- Computing cumulative rewards using fast adaptive uniformization
- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Model checking of biological systems
- RoVerGeNe
- Charlie
- MARCIE
- ZBDD
- INFAMY
- SBML Test Suite
- Mean-field semantics for a process calculus for spatially-explicit ecological models
This page was built for software: SABRE
