The following pages link to (Q5089309):
Displaying 6 items.
- On parametric timed automata and one-counter machines (Q515666) (← links)
- The efficiency of identifying timed automata and the power of clocks (Q553334) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (Q3618628) (← links)
- (Q5094137) (← links)
- CONCUR 2004 - Concurrency Theory (Q5311487) (← links)