Pages that link to "Item:Q5267439"
From MaRDI portal
The following pages link to Model checking stochastic automata (Q5267439):
Displayed 4 items.
- The Hennessy-Milner equivalence for continuous time stochastic logic with mu-operator (Q2372202) (← links)
- Categories of Timed Stochastic Relations (Q2805158) (← links)
- Calculating Probabilities of Real-Time Test Cases (Q3434607) (← links)
- Extending Timed Process Algebra with Discrete Stochastic Time (Q5505429) (← links)