Validation of stochastic systems
de Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Materias
Ediciones (2)
- Validation of Stochastic Systems (2004)
Springer London, Limited · inglés · ISBN 9783540246114
- Validation of Stochastic Systems (2004)
Springer · inglés · ISBN 9783540222651
