Yann-Eric Proy

Publication Activity (10 Years)

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

Publications

Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS (1994)