LEADER 01370nam--2200397---45-- 001 990002415010203316 005 20050428121721.0 010 $a3-540-21259-0 035 $a000241501 035 $aUSA01000241501 035 $a(ALEPH)000241501USA01 035 $a000241501 100 $a20050428d2004----km-y0ITAy0103------ 101 0 $aeng 102 $aDE 200 1 $aHybrid systems$ecomputation and control$e7th Intenational workshop, HSCC 2004$ePhiladelphia,PA,USA, March 25-27, 2004$eproceedings$fRajeev Alur, George J. Pappas (eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2004 215 $aXII,674 p.$cill.$d20 cm 225 2 $aLecture notes in computer science$v2993 410 0$12001$aLecture notes in computer science$v2993 606 0 $aCongressi$yPhiladelphia$z2004 610 0 $aElaboratori ibridi$xCongressi$z2004 676 $a004.1 702 1$aALUR,$bRajeev 702 1$aPAPPAS,$bGeorge J. 710 12$aInternational workshop, HSCC 2004$d<7.;$f2004;$ePhiladelphia>.$0572654 801 0$aITA$bCBS$gISBD 912 $a990002415010203316 951 $a001 LNCS/2993$b31076/CBS$c001$d00114849 959 $aBK 969 $aSCI 979 $aANGELA$b90$c20050428$lUSA01$h1208 979 $aANGELA$b90$c20050428$lUSA01$h1215 979 $aANGELA$b90$c20050428$lUSA01$h1217 996 $aHybrid systems$91066078 997 $aUNISA