SHAVE

swMATH20171MaRDI QIDQ31992FDOQ31992

Author name not available (Why is that?)

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
• HRSSA
• CERENA
• Stochastic hybrid models of gene regulatory networks -- a PDE approach

This page was built for software: SHAVE