01490nam2-2200409li-450 99000020651020331620180312154712.03-540-61648-90020651USA010020651(ALEPH)000020651USA01002065120001109d1996----km-y0itay0103----baengGWFormal techniques in real-time andfault-tolerant systems4th international symposium Uppsala, Sweden, September 9-13, 1996proceedingsBengt Jonsson ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996X, 478 p.ill.23 cmLecture notes in computer science113500100202642001Lecture notes in computer sciencecongressiuppsala1996elaborazione in tempo realecongressi1996sistemi distribuiticongressi199600433Elaborazione in tempo realeJonsson,BengtSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206510203316001 LNCS (1135)0019282001000102773BKSCI1997012920001110USA011714ALANDI9020010201USA01150120020403USA011628PATRY9020040406USA011615Formal techniques in real-time andfault-tolerant systems1490918UNISA