The following pages link to Weighted modal transition systems (Q2248057):
Displaying 10 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Weighted propositional configuration logics: a specification language for architectures with quantitative features (Q2064516) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Modal transition system encoding of featured transition systems (Q2423766) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Distribution of Modal Transition Systems (Q4647857) (← links)