Pages that link to "Item:Q4645189"
From MaRDI portal
The following pages link to Hybrid automata with finite bisimulations (Q4645189):
Displaying 7 items.
- Theory and computation of discrete state space decompositions for hybrid systems (Q397399) (← links)
- Modular discrete time approximations of distributed hybrid automata (Q418807) (← links)
- Weighted o-minimal hybrid systems (Q636266) (← links)
- Model checking of systems with many identical timed processes (Q1853589) (← links)
- Hybrid action systems (Q1853618) (← links)
- Algorithmic analysis of programs with well quasi-ordered domains. (Q1854355) (← links)
- (Q5079750) (← links)
