TY  - BOOK
AU  - Baier, Christel [et al.] Eds.,
TI  - Validation of stochastic systems: guide to current research
SN  - 3540222650
CY  - Berlin
ER  -