01447nam2-2200409li-450 99000021127020331620180312154913.03-540-60630-00021127USA010021127(ALEPH)000021127USA01002112720001109d1995----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systemsAarhus, Denmark, May 19-20, 1995E. Brinksma ... [etc.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1995289 p.ill.25 cmLecture notes in computer science101900100202642001Lecture notes in computer sciencealgoritmicongressi1995congressiaarhus1995elaboratori elettroniciprogrammazionecongressi199500512Svuluppo dei programmiBrinksma,EdSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000211270203316001 LNCS (1019)001874200100103817BKSCI1996040520001110USA011714ALANDI9020010201USA01094120020403USA011629PATRY9020040406USA011615Tools and Algorithms for the Construction and Analysis of Systems772021UNISA