01371nam--2200397---450-9900003202902033163-540-41090-20032029USA010032029(ALEPH)000032029USA01003202920010108d2000----km-y0itay0103----baengDE||||||||001yyFormal techniques in real-time and fault-tolerant6th Intenational symposium, FTRTFT 2000Pune, India ,September 20-22. 2000proceedingsMathai Joseph (ed.)BerlinoSpringer-Verlangc2000X,303 p.ill.20 cmLecture notes in computer scienze1926001-------2001Elaborazione in tempo realeCongressi2000CongressiPune (India)2000004.33International simposium FTRTFT <6. ; 2000; Pune India>ITsalbcISBD990000320290203316001 LNCS (1926)CBS 002576300200103415BKSCITAMI4020010108USA011641TAMI4020010108USA011643TAMI4020010108USA01171420020403USA011640PATRY9020040406USA011622Formal techniques in real-time and fault-tolerant878972UNISA