Validation of stochastic systems. a guide to current research.

BAIER, C. ET Al. (eds).

Springer, Berlin, 2004

ISBN: 3540222650

23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good).