Sciweavers

RTSS
1994
IEEE

Computing Quantitative Characteristics of Finite-State Real-Time Systems

14 years 3 months ago
Computing Quantitative Characteristics of Finite-State Real-Time Systems
Sérgio Vale Aguiar Campos, Edmund M. Clarke
Added 09 Aug 2010
Updated 09 Aug 2010
Type Conference
Year 1994
Where RTSS
Authors Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi
Comments (0)