"Quantitative and structural analysis of real-time and probabilistic systems."

Mani Swaminathan (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics