Pages that link to "Item:Q953529"
From MaRDI portal
The following pages link to Comparing disjunctive modal transition systems with an one-selecting variant (Q953529):
Displayed 6 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)