Pages that link to "Item:Q404008"
From MaRDI portal
The following pages link to General quantitative specification theories with modal transition systems (Q404008):
Displaying 4 items.
- Compositionality for quantitative specifications (Q1797783) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
