Travelled to:1 × Germany
Collaborated with:V.Rusu
Talks about:automata (1) uniform (1) hybrid (1) decid (1)
Person: Olivier F. Roux
 DBLP: Roux:Olivier_F=
 DBLP: Roux:Olivier_F=
Contributed to:
Wrote 1 papers:
- SAS-1996-RouxR #automaton #decidability #hybrid
- Uniformity for the Decidability of Hybrid Automata (OFR, VR), pp. 301–316.












