Branching bisimulation for probabilistic systems%25253A char…
Branching bisimulation for probabilistic systems%25253A characteristics and decidability
Article, Chapter
Full text availability for this item
Coverage:
- 1975-06~present; volume:1~present;issue:1~present