Pages that link to "Item:Q2291820"
From MaRDI portal
The following pages link to A linear-time-branching-time spectrum for behavioral specification theories (Q2291820):
Displayed 4 items.
- A linear-time branching-time perspective on interface automata (Q2182669) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)