Pages that link to "Item:Q5310632"
From MaRDI portal
The following pages link to Labelled transition systems as a Stone space (Q5310632):
Displayed 5 items.
- On model checking multiple hybrid views (Q947781) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Model Checking for Action Abstraction (Q5452711) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)