The following pages link to (Q2849849):
Displayed 7 items.
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Parametric probabilistic transition systems for system design and analysis (Q877158) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Fairness analysis for multiparty nonrepudiation protocols based on improved strand space (Q2321532) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Model Checking Security Protocols (Q3176380) (← links)