Branching bisimulation for probabilistic systems%2525253A ch…
Branching bisimulation for probabilistic systems%2525253A characteristics and decidability
Article, Chapter
Full text availability for this item
Collection:
Elsevier ScienceDirect Journals
Coverage:
- 1975-06~present