| Validation of Stochastic Systems A Guide to Current Research | | | Editor:
| Baier, Christel
Haverkort, Boudewijn R.
Hermanns, Holger
Katoen, Joost-Pieter
Siegle, Markus | | Series title: | Lecture Notes in Computer Science Ser. | | ISBN: | 978-3-540-24611-4 | | Publication Date: | Aug 2004 | | Publisher: | Springer Berlin / Heidelberg
| | Imprint: | Springer | | Book Format: | Ebook | | List Price: | USD $119.00 |
| |