ISBN 9783540222651 books & textbook
Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)
Baier, Christel Haverkort, Boudewijn R. Hermanns, Holger Katoen, Joost-Pieter Siegle, Markus
Springer /2004-08-11 Paperback / 480 Pages
isbn-10: 3540222650 / isbn-13: 9783540222651
