The following pages link to (Q4373413):
Displayed 5 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Bisimulation indexes and their applications (Q1606119) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)