01478nam2-2200421li-450 99000020508020331620180312154819.03-540-62600-X0020508USA010020508(ALEPH)000020508USA01002050820001109h----1997997y0itay0103----baengGWHybrid and real-time systemsInternational workshop, HATT '97 :Grenoble, France, March 1997proceedingsOded Maler (ed.)BerlinSpringer-Verlag[etc.]copyr. 1997IX, 414 p.ill23 cmLecture notes in computer science120100100202642001Lecture notes in computer sciencecongressigrenoble1997elaborazione in tempo realecongressi199700433Elaborazione in tempo realeMaler OdedInternational workshop HART'97Grenoble1997753718Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205080203316001 LNCS (1201)002000400100103968BKSCI1997041720001110USA011714ALANDI9020010201USA011720ALANDI9020010201USA01172020020403USA011628PATRY9020040406USA011615Hybrid and real-time systems1516262UNISA