Pages that link to "Item:Q5705914"
From MaRDI portal
The following pages link to Foundations of Software Science and Computational Structures (Q5705914):
Displaying 8 items.
- The complexity of the \(K\)th largest subset problem and related problems (Q894449) (← links)
- Probabilistic duration calculus for continuous time (Q1125686) (← links)
- Computation tree measurement language (CTML) (Q1798671) (← links)
- Multi-cost bounded tradeoff analysis in MDP (Q2208304) (← links)
- Efficient timed model checking for discrete-time systems (Q2368994) (← links)
- The Odds of Staying on Budget (Q3449479) (← links)
- Validation of Stochastic Systems (Q5325838) (← links)
- Probabilistic Model Checking for Energy-Utility Analysis (Q5418957) (← links)