| |
| 1998 | ||
|---|---|---|
| 2 | EE | Bernard Boigelot, Stéphane Rassart, Pierre Wolper: On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP 1998: 152-163 |
| 1997 | ||
| 1 | Bernard Boigelot, Louis Bronne, Stéphane Rassart: An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). CAV 1997: 167-178 | |
| 1 | Bernard Boigelot | [1] [2] |
| 2 | Louis Bronne | [1] |
| 3 | Pierre Wolper | [2] |