Quantitative Analysis and Model Checking.

Michael Huth, Marta Z. Kwiatkowska

Browse the full LICS paper archive.