TY - RPRT TI - Stochastic HYPE: Flow-based modelling of stochastic hybrid systems AU - Luca Bortolussi AU - Vashti Galpin AU - Jane Hillston PY - 2014 UR - https://arxiv.org/abs/1411.4433 ID - 1411.4433 ER -