SHAVE

swMATH20171MaRDI QIDQ31992FDOQ31992

Author name not available (Why is that?)

Cited In (3)

• 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

This page was built for software: SHAVE