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

Validation of Stochastic Systems: A Guide to Current Research

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

465 pages • first pub 2004 (editions)

Powered by AI (Beta)
Loading...

Community Reviews

Loading...

Content Warnings

Loading...