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

Document Versions

Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach –E.P. de Vink, J.J.M.M. Rutten — 1998
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach –E. P. de Vink, J. J. M. M. Rutten — 1998
Bisimulation for Probabilistic Transition Systems: A Coalgebraic Approach –E. P. De Vink, J.J.M.M. Rutten — 1998 — Theoretical Computer Science