DMCA

HYPE with stochastic events. (2011)

by Luca Bortolussi , Vashti Galpin , Jane Hillston
Venue:In: QAPL 2011, EPTCS 57,
Citations:6 - 2 self