The following pages link to (Q5418249):
Displaying 19 items.
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- Dynamical properties of timed automata (Q1975199) (← links)
- A flattening algorithm for hierarchical timed automata (Q2332032) (← links)
- Shrinking timed automata (Q2911615) (← links)
- Timed Automata Can Always Be Made Implementable (Q3090823) (← links)
- (Q3111928) (← links)
- Solving the time varying postman problems with timed automata (Q3458818) (← links)
- (Q3839068) (← links)
- (Q4654724) (← links)
- (Q4782713) (← links)
- (Q4995368) (← links)
- Nested Timed Automata with Invariants (Q5045378) (← links)
- A menagerie of timed automata (Q5176174) (← links)
- Timed P Automata (Q5179423) (← links)
- (Q5294161) (← links)
- Logics in Artificial Intelligence (Q5394149) (← links)
- Lectures on Concurrency and Petri Nets (Q5712294) (← links)
- Weak alternating timed automata (Q5891771) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900550) (← links)