01593nam2-2200421li-450 99000020673020331620180312154903.03-540-61042-10020673USA010020673(ALEPH)000020673USA01002067320001109d1996----km-y0itay0103----baengGWTools and algorithms for the construction and analysis of systemssecond International workshop, TACAS'96Passau, Germany, March 27-29, 1996proceedingsTiziana Margaria ...[et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996XI, 434 p.ill.24 cmLecture notes in computer science105500100202642001Lecture notes in computer sciencealgoritmicongressi1996congressipassau1995elaboratori elettroniciprogrammazionecongressi199600512Svuluppo dei programmiMargaria,TizianaInternational Workshop TACAS'962.Passau1996754757Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206730203316001 LNCS (1055)001910000100103844BKSCI1996100620001110USA011714ALANDI9020010201USA01103120020403USA011628PATRY9020040406USA011615Tools and algorithms for the construction and analysis of systems1518963UNISA