Stochastic HYPE: flow-based modelling of stochastic hybrid systems (2014)

by L Bortolussi, V Galpin, J Hillston
Venue:CoRR