Computing Quantitative Characteristics of Finite-State Real-Time Systems.

Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi

Browse the full RTSS paper archive.