Validation of Stochastic Systems
A Guide to Current Research (Lecture Notes in Computer Science)
Edición de la obra Validation of stochastic systems
| Autor | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle |
|---|---|
| Editorial | Springer, Springer-Verlag |