01530nam2-2200409li-450 99000021021020331620180312154630.03-540-65003-20021021USA010021021(ALEPH)000021021USA01002102120001109d1998----km-y0itay0103----baengGWFormal Techiques in real-time and fault-tolerant systems5th international symposium, FTRTFT'98 Lyngby, Denmark, September 1998ProceedingsAnders P. Ravn ...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 338 p.ill.24 cmLecture notes in computer science148600100202642001Lecture notes in computer sciencecongressilyngby (denmark)1998elaborazione in tempo realecongressi199800433Elaborazione in tempo realeRavn,Anders P.International symposium FTRTFT'985.Lyngby1998745741Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210210203316001 LNCS (1486)002259000100104173BKSCI1998101420001110USA011714ALANDI9020010207USA01152120020403USA011629PATRY9020040406USA011615Formal Techiques in real-time and fault-tolerant systems1487603UNISA