The following pages link to CONCUR 2003 - Concurrency Theory (Q5900561):
Displaying 8 items.
- Model checking games for the quantitative \(\mu \)-calculus (Q1959394) (← links)
- Model checking discounted temporal properties (Q2575738) (← links)
- Advances in Quantitative Verification for Ubiquitous Computing (Q2851899) (← links)
- An Algorithm for Probabilistic Alternating Simulation (Q2891387) (← links)
- Model checking the quantitative \(\mu \)-calculus on linear hybrid systems (Q2914242) (← links)
- Model Checking the Quantitative μ-Calculus on Linear Hybrid Systems (Q3012936) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- (Q5214813) (← links)