Pages that link to "Item:Q5458354"
From MaRDI portal
The following pages link to Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354):
Displaying 6 items.
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
