01361nam--2200349---450-99000300201020331620071030112610.03-540-25333-5000300201USA01000300201(ALEPH)000300201USA0100030020120071030d2005----km-y0itay0103----baengDEa|||||||001yyTools and algorithms for the construction and analysis of systems11th International Conference, TACAS 2005held as part of the joint european conferenceson theory and practice of software, ETAPS 2005Edinburgh, UK, April 4-8, 2005proceedingsNicolas Halbwachs, Lenore S. Zuck(eds.)Berlin [etc.]Springer[c2005]XVI, 506 p.ill.24 cmLecture notes in computer science34402001Lecture notes in computer science3440HERMANNS,HolgerPALSBERG,JensInternational Conference, TACAS 2005<11. ;2005 ;Edinburgh>598999ITsalbcISBD990003002010203316001 LNCS 344031869/CBS001 LNCS00112496SPSCISENATORE9020071030USA011126Tools and algorithms for the construction and analysis of systems1024031UNISA