LEADER 01227nam2-2200349---450-
001 990003326870203316
005 20091007092659.0
010   $a978-3-642-00430-8
035   $a000332687
035   $aUSA01000332687
035   $a(ALEPH)000332687USA01
035   $a000332687
100   $a20091007d2009----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $aModel checking and artificial intelligence$e5th international workshop, MoChArt 2008$ePatras, Greece, july 21, 2008$erevised selected and invited papers$fDoron A. Peled...[et al.] (Eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2009
215   $a188 p.$cill.$d24 cm
225 2 $aLecture notes in artificial intelligence$v5348
410  1$1001000315221$12001$aLecture notes in artificial intelligence$v5348
606 0 $aIntelligenza artificiale$xCongressi$yPatras$z2009
676   $a006.3
702  1$aPELED,$bDoron A.
801  0$aIT$bsalbc$gISBD
912   $a990003326870203316
951   $a006.3 LNAI 5348$b38003/CBS$c006.3$d00218152
959   $aBK
969   $aSCI
979   $aRSIAV7$b90$c20091007$lUSA01$h0927
996   $aModel Checking and Artificial Intelligence$9772652
997   $aUNISA