Pages that link to "Item:Q5716855"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5716855):
Displaying 13 items.
- The containment problem for unambiguous register automata and unambiguous timed automata (Q2048204) (← links)
- Minimization of the number of clocks for timed scenarios (Q2154053) (← links)
- Untangling the graphs of timed automata to decrease the number of clocks (Q2165509) (← links)
- Generalized Post embedding problems (Q2354596) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Event-Clock Visibly Pushdown Automata (Q3599103) (← links)
- The ω-Regular Post Embedding Problem (Q5458353) (← links)
- Post Embedding Problem Is Not Primitive Recursive, with Applications to Channel Systems (Q5458840) (← links)
- Hybrid Systems: Computation and Control (Q5703961) (← links)
- Foundations of Software Science and Computational Structures (Q5705879) (← links)
- Equivalence checking and intersection of deterministic timed finite state machines (Q6108432) (← links)
- Decidability of the initial-state opacity of real-time automata (Q6165768) (← links)
- Operations on timed scenarios (Q6535464) (← links)