SABRE

swMATH12884MaRDI QIDQ24808FDOQ24808

scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website: http://arxiv.org/pdf/1005.2819v1.pdf

(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