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)