Pages that link to "Item:Q549202"
From MaRDI portal
The following pages link to Metrics for weighted transition systems: axiomatization and complexity (Q549202):
Displaying 8 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Multi-weighted automata and MSO logic (Q504993) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Quantitative analysis of software approximate correctness (Q1664851) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
