Cited in
(11)- On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
- Computing cumulative rewards using fast adaptive uniformization
- Mean-field semantics for a process calculus for spatially-explicit ecological models
- Model checking of biological systems
- RoVerGeNe
- Charlie
- MARCIE
- ZBDD
- INFAMY
- SBML Test Suite
- Approximation of event probabilities in noisy cellular processes
This page was built for software: SABRE
