Validation of Stochastic Systems
A Guide to Current Research
Edición de la obra Validation of stochastic systems
| Autor | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2004 |
| Idioma | inglés |
| Páginas | 472 |
| ISBN-13 | 9783540246114 |
| Número de Cutter |