Login / Signup
Johnny Giuntini
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Laura Carnevali
,
Johnny Giuntini
,
Enrico Vicario
A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters.
VALUETOOLS
(2011)