LEADER 01217nam2-2200385---450-
001 990003147120203316
005 20080929101435.0
010   $a978-3-540-69849-4
035   $a000314712
035   $aUSA01000314712
035   $a(ALEPH)000314712USA01
035   $a000314712
100   $a20080919d2008----km-y0itay50------ba
101   $aeng
102   $aDE
105   $aa---||||001yy
200 1 $a25 years of model checking$ehistory, achievements, perspectives$fOrna Grumberg, Helmut Veith (Eds.)
210   $aBerlin (etc.)$cSpringer$dcopyr. 2008
215   $aVI, 230 p.$cill.$d24 cm
225 2 $aLecture Notes in Computer Science$iFestschrift$v5000
410  0$12001$aLecture Notes in Computer Science
461  1$1001000314960$12001$aLecture Notes in Computer Science
606 0 $aSistemi Complessi
676   $a004.24
702  1$aGRUMBERG,$bOrna
702  1$aVEITH,$bHelmut
801  0$aIT$bsalbc$gISBD
912   $a990003147120203316
951   $a001 LNCS 5000$b37216/CBS$c001$d0217614
959   $aBK
969   $aSCI
979   $aCBAS$b10$c20080919$lUSA01$h0949
979   $aCBAS$b10$c20080929$lUSA01$h1014
996   $a25 Years of Model Checking$9774344
997   $aUNISA