01534nam2-2200409li-450 99000020866020331620180312154742.03-540-66010-00020866USA010020866(ALEPH)000020866USA01002086620001109d1999----km-y0itay0103----baengGWFormal methods for real-time and probabilistic systems5th International AMAST workshop, ARTS '99Bamberg, Germany, May 26-28, 1999proceedingsJoost-Pieter Katoen (ed.)Berlin [etc.]Springer-Verlagcopyr. 1999X, 353 p.ill.24 cmLecture notes in computer science160100100202642001Lecture notes in computer sciencecongressibamberg (germany)1999elaborazione in tempo realecongressi199900433Elaborazione in tempo realeKatoen,Joost-PieterInternational AMAST workshopARTS '995.Bamberg1999747209Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000208660203316001 LNCS (1601)002365200100104246BKSCI1999060320001110USA011714ALANDI9020010208USA01123920020403USA011629PATRY9020040406USA011615Formal methods for real-time and probabilistic systems1492504UNISA