TY  - RPRT
TI  - HYPE with stochastic events
AU  - Luca Bortolussi
AU  - Vashti Galpin
AU  - Jane Hillston
PY  - 2011
DO  - 10.4204/eptcs.57.9
UR  - https://arxiv.org/abs/1107.1233
ID  - 1107.1233
ER  -