The following pages link to Timed P Automata (Q5179423):
Displaying 9 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Verification of membrane systems with delays via Petri nets with delays (Q496035) (← links)
- Reachability in two-clock timed automata is PSPACE-complete (Q2347796) (← links)
- (Q3839068) (← links)
- (Q4422061) (← links)
- Timed Pushdown Automata Revisited (Q4635851) (← links)
- Parametric Interrupt Timed Automata (Q5168513) (← links)
- Modelling Queues in Transportation Networks Using P Systems (Q5259752) (← links)
- (Q5418249) (← links)