Browse editions

Current edition

Validation of Stochastic Systems: A Guide to Current Research by Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
Christel Baier with Boudewijn R. Haverkort, Joost-Pieter Katoen, Holger Hermanns, Markus Siegel

465 pages • first pub 2004 (editions)

Validation of Stochastic Systems: A Guide to Current Research by Christel Baier

Validation of Stochastic Systems: A Guide to Current Research
—
Christel Baier

Validation of Stochastic Systems: A Guide to Current Research

Christel Baier with Boudewijn R. Haverkort, Joost-Pieter Katoen, Holger Hermanns, Markus Siegel

465 pages • first pub 2004 (editions)

Other editions (0)