01553nam--2200397---450-9900003386002033163-540-67282-60033860USA010033860(ALEPH)000033860USA01003386020010208d2000----km-y0itay0103----baengDE||||||||001yyTools and algorithms for the construction and analysis of systems6th international conference, TACAS 2000held as part of the Joint European conferences on theory and practice of software, ETAPS 2000Berlin, Germany, March 25 - April 2, 2000proceedingsSusanne Graf ...<et al.> (eds.)BerlinSpringer-Verlagc2000XIV, 552 p.ill.25 cmLecture notes in computer science17852001Lecture notes in computer science1785001-------2001Progettazione dei sistemiCongressi2000SoftwareSviluppoCongressi2000CongressiBerlino2000GRAF,SusanneInternational conference, TACAS 2000 <6.; 2000; Berlin>542951ITsalbcISBD990000338600203316001 LNCS (1785)CBS 0025045001 LNCS00100094BKSCIPATTY9020010208USA01144620020403USA011641PATRY9020040406USA011624Tools and algorithms for the construction and analysis of systems877949UNISA