01482nam--2200373---450-99000241578020331620050502184942.03-540-21299-X000241578USA01000241578(ALEPH)000241578USA0100024157820050502d2004----km-y0itay0103----baengDEa|||||||001yyTools and algorithms for the construction and analysis of systems10th International Conference, TACAS 2004held as part of the joint european conferenceson theory and practice of software, ETAPS 2004proceedingsKurt Jensen, Andreas Podelski (eds.)Berlin [etc.]Springercopyr. 2004XIV, 608 p.ill.24 cmLecture notes in computer science29882001Lecture notes in computer science2988JENSEN,KurtPODELSKI,AndreasInternational conference on tools and algorithms for the construction and analysis of systems<10.;2004;Barcelona>572678ITsalbcISBD990002415780203316001 LNCS 298831071/CBS001 LNCS00114844SPSCIANGELA9020050502USA011214ANGELA9020050502USA011848ANGELA9020050502USA011849Tools and algorithms for the construction and analysis of systems1066007UNISA