Yann-Erick Proy

Publication Activity (10 Years)

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

Publications

Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff
Verification of Real-Time Systems using Linear Relation Analysis. Formal Methods Syst. Des. 11 (2) (1997)