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):
Displaying 11 items.
- Modal transition systems with weight intervals (Q444490) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Nondeterministic modal interfaces (Q2629098) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
