Pages that link to "Item:Q3522930"
From MaRDI portal
The following pages link to Sigref – A Symbolic Bisimulation Tool Box (Q3522930):
Displaying 9 items.
- SIGREF (Q13603) (← links)
- Polynomial time decision algorithms for probabilistic automata (Q498403) (← links)
- Computing maximal weak and other bisimulations (Q510897) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Model Based Importance Analysis for Minimal Cut Sets (Q3540081) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
