Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach (1998)

Cached

Download Links

by E.P. de Vink , J.J.M.M. Rutten
Citations:74 - 15 self