HYPE with stochastic events. (2011)

by L Bortolussi, V Galpin, J Hillston
Venue:In: QAPL 2011, EPTCS 57,