Baier, Christel [et al.] Eds.,
Validation of stochastic systems: guide to current research - Berlin Springer 2004 - 465 - Lecture notes in computer science ; 02925 .
3540222650
681 LNCS
Validation of stochastic systems: guide to current research - Berlin Springer 2004 - 465 - Lecture notes in computer science ; 02925 .
3540222650
681 LNCS