The following pages link to (Q3601411):
Displaying 9 items.
- On parametric timed automata and one-counter machines (Q515666) (← links)
- Timed hyperproperties (Q821560) (← links)
- The compound interest in relaxing punctuality (Q2024340) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- Exact Incremental Analysis of Timed Automata with an SMT-Solver (Q3172851) (← links)
- One-Clock Deterministic Timed Automata Are Efficiently Identifiable in the Limit (Q3618628) (← links)
- (Q4418006) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Design and verification of pipelined circuits with timed Petri nets (Q6160969) (← links)