Louis Bronne

Publication Activity (10 Years)

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

Publications

Bernard Boigelot, Louis Bronne, Stéphane Rassart
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract). CAV (1997)