01484nam2-2200409li-450 99000020456020331620180312154818.03-540-58468-40020456USA010020456(ALEPH)000020456USA01002045620001109d1994----km-y0itay0103----baengGWFormal techniques in real-time andfault-tolerant systemsthird international symposium, Lübeck, Germany, September 19-23, 1994: proceedingsH. Langmaack (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994XIV, 787 p.ill.24 cmLecture notes in computer science86300100202642001Lecture notes in computer sciencecongressilübeck1994elaboratori elettronicicongressi1994elaborazione in tempo realecongressi199400433Elaborazione in tempo realeLangmaack,HansSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204560203316001 LNCS (863)001639200100103663BKSCI1995021220001110USA011714ALANDI9020010130USA01161720020403USA011628PATRY9020040406USA011615Formal techniques in real-time andfault-tolerant systems1490918UNISA