LEADER 01204nam--2200361---450 001 990001853920203316 005 20180312154629.0 010 $a3-540-20223-4 035 $a000185392 035 $aUSA01000185392 035 $a(ALEPH)000185392USA01 035 $a000185392 100 $a20040715d2003----km-y0ITAy0103-------ba 101 0 $aeng 102 $aDE 200 1 $aEmbedded software$e3. International Conference, EMSOFT 2003$ePhiladelphia, PA, USA, October 13-15, 2003$eproceedings$fRajeev Alur, Insup Lee (Eds.) 210 $aBerlin [etc.]$cSpringer$dcopyr. 2003 215 $aX, 372 p.$cill.$d24 cm 225 $aLecture notes in computer science$v2855 410 $12001$aLecture notes in computer science$v2855 610 1 $aSoftware$aCongressi$a2003 676 $a005.1 702 1$aALUR,$bRajeev 702 1$aLEE,$bInsup 710 12$aInternational conference, EMSOFT 2003 <3. ; 2003 ; Philadelphia, PA, USA>$0564388 801 0$aITA$bCBS$gISBD 912 $a990001853920203316 951 $a001 LNCS 2855$b0029896/CBS$c001$d00114275 959 $aBK 969 $aSCI 979 $aRIVELLI$b90$c20040715$lUSA01$h1142 996 $aEmbedded software$9955925 997 $aUNISA