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
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha