Fingerprint
Dive into the research topics of 'Branching bisimulation for probabilistic systems: Characteristics and decidability'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova, Tim A.C. Willemse*
*Corresponding author for this work
Research output: Contribution to journal › Article › Academic
24
Citations
(Scopus)