Pages that link to "Item:Q3172917"
From MaRDI portal
The following pages link to Modal Transition Systems: Composition and LTL Model Checking (Q3172917):
Displaying 10 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- Richer interface automata with optimistic and pessimistic compatibility (Q2350491) (← links)
- ACTL for modal interface automata (Q2404073) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
