Validation of stochastic systems
by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

No description available.
Stochastic processesStochastic systemsStochastic analysis
by Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle

No description available.