Pages that link to "Item:Q3172852"
From MaRDI portal
The following pages link to Event Clock Automata: From Theory to Practice (Q3172852):
Displaying 6 items.
- On regions and zones for event-clock automata (Q487253) (← 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)
- 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)
