The following pages link to Claus Thrane (Q549201):
Displayed 11 items.
- Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
- Quantitative analysis of weighted transition systems (Q710680) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- General Quantitative Specification Theories with Modalities (Q2907483) (← links)
- (Q2911616) (← links)
- A quantitative characterization of weighted Kripke structures in temporal logic (Q2917301) (← links)
- (Q2970258) (← links)
- Quantitative Refinement for Weighted Modal Transition Systems (Q3088029) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- Verification, Performance Analysis and Controller Synthesis for Real-Time Systems (Q3400913) (← links)
- (Q4965817) (← links)