Stéphane Rassart

Publication Activity (10 Years)

Years Active: 1997-1998
Publications (10 Years): 0

Publications

Bernard Boigelot, Stéphane Rassart, Pierre Wolper
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract). ICALP (1998)
Bernard Boigelot, Louis Bronne, Stéphane Rassart
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). CAV (1997)