Validation of Stochastic Systems (eBook, PDF)

Christel Baier, Friedrich Wilhelms University Bonn, Germany / Boudewijn R. Haverkort, University of Twente, Enschede, The Netherlands / Holger Hermanns, Saarland University, Saarbruecken, Germany / Joost-Pieter Katoen, University of Twente, Enschede, The Netherlands / Markus Siegle, University of the Federal Armed Forces Munich, Germany