SHAVE

MaRDI QIDQ31992swMATHFDO

Official website http://dl.acm.org/citation.cfm?doid=1967701.1967746

Cited in

(5)

• Abstraction-guided truncations for stationary distributions of Markov population models
• Analyzing oscillatory behavior with formal methods
• Stochastic hybrid models of gene regulatory networks -- a PDE approach
• HRSSA
• CERENA

This page was built for software: SHAVE