LEADER 01141nam--2200373---450-
001 990002961730203316
005 20070807183110.0
010   $a3-540-22265-0
035   $a000296173
035   $aUSA01000296173
035   $a(ALEPH)000296173USA01
035   $a000296173
100   $a20070807d2004----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aValidation of stochastic systems$ea guide to current research$fChristel Baier...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2004
215   $a384 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2925$iTutoral
410  0$12001$aLecture notes in computer science$v2925$iTutoral
454  1$12001
461  1$1001-------$12001
606   $aInformatica
676   $a005.1
700  1$aBAIER,$bChristel$0312039
801  0$aIT$bsalbc$gISBD
912   $a990002961730203316
951   $a001 LNCS 2925$b31014/CBS$c001 LNCS$d00215316
959   $aBK
969   $aSCI
979   $aSENATORE$b90$c20070807$lUSA01$h1831
996   $aValidation of stochastic systems$91026841
997   $aUNISA