Publication Overview

M. Lapin and L. Mikeev and V. Wolf

SHAVE - Stochastic Hybrid Analysis of Markov Population Models

Published in: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control (HSCC'11)
Year: 2011