01244nam2-2200385li-450 99000020647020331620180312154820.03-540-61155-X0020647USA010020647(ALEPH)000020647USA01002064720001109d1996----km-y0itay0103----baengGWHybrid systems IIIverification and controlRajeev Alur ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996IX, 615 p.ill.24 cmLecture notes in computer science106600100202642001Lecture notes in computer scienceelaboratori elettronici00419Elaboratori ibridi e analogiciAlur,RajeevSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206470203316001 LNCS (1066)001921700100102190BKSCI1996120320001110USA011714ALANDI9020010201USA01104720020403USA011628PATRY9020040406USA011615Hybrid systems III1501959UNISA