Login / Signup
Zulema Juárez-Orozco
Publication Activity (10 Years)
Years Active: 2006-2006
Publications (10 Years): 0
</>
Publications
</>
Bruno Denis
,
Jean-Jacques Lesage
,
Zulema Juárez-Orozco
Performance Verification of discrete Event Systems using Hybrid Model-Checking.
ADHS
(2006)