![](/img/cover-not-exists.png)
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova, Tim A.C. WillemseVolume:
356
Year:
2006
Language:
english
Pages:
31
DOI:
10.1016/j.tcs.2006.02.010
File:
PDF, 455 KB
english, 2006