The following pages link to (Q4452097):
Displaying 6 items.
- A survey of timed automata for the development of real-time systems (Q394966) (← links)
- Deriving generic bounds for time-series constraints based on regular expressions characteristics (Q1706597) (← links)
- Orthogonality for \((0, -1)\) tropical normal matrices (Q2175183) (← links)
- Balanced timed regular expressions (Q2842862) (← links)
- On equivalences for a class of timed regular expressions (Q2847821) (← links)
- Quasi-Euclidean classification of alcoved convex polyhedra (Q5132629) (← links)