LEADER 01385nam--2200397---450-
001 990001770120203316
005 20040618102121.0
010   $a3-540-00624-9
035   $a000177012
035   $aUSA01000177012
035   $a(ALEPH)000177012USA01
035   $a000177012
100   $a20040618d2003----km-y0itay0103----ba
101 0 $aeng
102   $aDE
105   $aa|||||||001yy
200 1 $aAbstract state machines 2003$eadvances in theory and practice$e10th international workshop, ASM 2003$eTaormina, Italy, march 2003$eproceedings$fEgon Börger, Angelo Gargantini, Elvinia Riccobene (eds.)
210   $aBerlin [etc.]$cSpringer$dcopyr. 2003
215   $aXI, 424 p.$cill.$d24 cm.
225 2 $aLecture notes in computer science$v2589
410  0$12001$aLecture notes in computer science$v2589
454  1$12001
461  1$1001-------$12001
702  1$aBÖRGER,$bEgon
702  1$aGARGANTINI,$bAngelo
702  1$aRICCOBENE,$bElvinia
710 12$aInternational workshop on astract state machines <10. ; 2003 ; Taormina>$0563289
801  0$aIT$bsalbc$gISBD
912   $a990001770120203316
951   $a001 LNCS 2589$b29448/CBS$c001 LNCS$d00113963
959   $aBK
969   $aSCI
979   $aRIVELLI$b90$c20040618$lUSA01$h1021
979   $aPATRY$b90$c20061003$lUSA01$h1548
996   $aAbstract state machines 2003$9951956
997   $aUNISA