| Type |  Book |
| ชื่อเรื่อง | Validation of stochastic systems : a guide to current research / Christel Baier ... [et al.] (eds.) |
| ISBN | 3540222650 (pbk.) |
| | 9783540222651 |
| พิมพลักษณ์ | Berlin : Springer, c2004 |
| รูปเล่ม | viii, 465 p. : ill. ; 24 cm |
| หัวเรื่อง | Stochastic analysis |
| | Stochastic processes |
| | Stochastic systems |