Verifying Quantitative Temporal Properties of Procedural Programs.

Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, Prakash Saivasan

Browse the full CONCUR paper archive.