Pages that link to "Item:Q2583540"
From MaRDI portal
The following pages link to On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540):
Displaying 10 items.
- On fairness and randomness (Q840697) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Assisting the design of a groupware system - Model checking usability aspects of thinkteam (Q1014561) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- Categorical foundations for randomly timed automata (Q1884891) (← links)
- On the verification of qualitative properties of probabilistic processes under fairness constraints. (Q2583540) (← links)
- Liveness Reasoning with Isabelle/HOL (Q3183549) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- (Q5009454) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
