LEADER 01371nam--2200397---450-
001 990000320290203316
010   $a3-540-41090-2
035   $a0032029
035   $aUSA010032029
035   $a(ALEPH)000032029USA01
035   $a0032029
100   $a20010108d2000----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aFormal techniques in real-time and fault-tolerant$e6th Intenational symposium, FTRTFT 2000$ePune, India ,September 20-22. 2000$eproceedings$fMathai Joseph (ed.)
210   $aBerlino$cSpringer-Verlang$dc2000
215   $aX,303 p.$cill.$d20 cm
225 2 $aLecture notes in computer scienze$v1926
461  1$1001-------$12001
610 0 $aElaborazione in tempo reale$xCongressi$z2000
610 0 $aCongressi$yPune (India)$z2000
676   $a004.33
702  1$aInternational simposium FTRTFT <6. ; 2000; Pune India>
801  0$aIT$bsalbc$gISBD
912   $a990000320290203316
951   $a001 LNCS (1926)$bCBS 0025763$c002$d00103415
959   $aBK
969   $aSCI
979   $aTAMI$b40$c20010108$lUSA01$h1641
979   $aTAMI$b40$c20010108$lUSA01$h1643
979   $aTAMI$b40$c20010108$lUSA01$h1714
979   $c20020403$lUSA01$h1640
979   $aPATRY$b90$c20040406$lUSA01$h1622
996   $aFormal techniques in real-time and fault-tolerant$9878972
997   $aUNISA