O. Bournez And NotMachine Turing
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
000984 | O. Bournez [France] ; O. Maler [France] | On the representation of timed polyhedra |
000A24 | E. Asarin [France] ; O. Bournez [France] ; T. Dang [France] ; O. Maler [France] | Approximate reachability analysis of piecewise-linear dynamical systems |
This area was generated with Dilib version V0.6.33. |