Pages that link to "Item:Q3172852"
From MaRDI portal
The following pages link to Event Clock Automata: From Theory to Practice (Q3172852):
Displaying 9 items.
- On regions and zones for event-clock automata (Q487253) (← links)
- Event-clock automata: a determinizable class of timed automata (Q1274452) (← links)
- Complexity issues for timeline-based planning over dense time under future and minimal semantics (Q2067619) (← links)
- Event Clock Automata: From Theory to Practice (Q3172852) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- (Q4934330) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- A unified model for real-time systems: symbolic techniques and implementation (Q6535636) (← links)
- Simulations for event-clock automata (Q6597952) (← links)