LEADER 01702nam2-2200421li-450 001 990000206100203316 005 20180312154843.0 010 $a3-540-63010-4 035 $a0020610 035 $aUSA010020610 035 $a(ALEPH)000020610USA01 035 $a0020610 100 $a20001109d1997----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aTransformation-based reactive systems development$e4th International AMAST workshop on real-time systems and concurrent and distributed software, ARTS'97 :Palma, Mallorca, Spain, May 21-23,1997$eproceedings$fMiquel Bertran ... [et al.] (eds.) 210 $aBerlin$cSpringer-Verlag$dcopyr. 1997 215 $aXI,429 p.$cill.$d23 cm 225 2 $aLecture notes in computer science$v1231 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$apalma di maiorca$a1997 610 1 $aelaborazione in tempo reale$acongressi$a1997 610 1 $asoftware$aprogettazione$acongressi$a1997 676 $a00433$9Elaborazione in tempo reale 702 1$aBertran,$bMiquel 710 12$aInternational AMAST workshop on real-time systems and concurrent and distributed software$d4.$ePalma di Maiorca$f1997$0754282 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000206100203316 951 $a001 LNCS (1231)$b0020342$c001$d00103999 959 $aBK 969 $aSCI 979 $c19971122 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010202$lUSA01$h1156 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aTransformation-based reactive systems development$91517657 997 $aUNISA