01447nam--2200361---45--99000111621020331620021216121406.03-540-43419-4000111621USA01000111621(ALEPH)000111621USA0100011162120021216d2002----km-y0ITAy0103-------baENGDETools and algorithms for the construction and analysis of systems8th Internationa conference, TACAS 2002Held as part of the joint european conference on theory and practice of software, ETAPS 2002Grenoble, France, April 8-12, 2002proceedingsJoost-Pieter Katoen... [et al.] (eds.)Berlin [etc.]Springer - Verlagcopyr. 2002XIV, 482 p.ill.20 cmLecture notes in computer science22802001Lecture notes in computer science2280SistemiProgettazioneCongressi 2002004.2Katoen,Joost-PieterInternational Conference, TACAS 2002 <8. ; 2002 ; Grenoble ; France>554541ITACBSISBD990001116210203316001 LNCS (2280)0026824 CBS00100112091BKSCIDIGIUSEPPE9020021216USA011214PATRY9020040406USA011717Tools and algorithms for the construction and analysis of systems981401UNISA