01308nam--2200385---450 99000095747020331620180312154718.03-540-42124-60095747USA010095747(ALEPH)000095747USA01009574720020212d2001----km-y0ITAy0103-------baENGDEModel checking software8th International SPIN workshopToronto, Canada, May 19-20, 2001proceedingsMatthew Dwyer (ed.)Berlin [etc.]Springer-Verlagcopyr. 2001VI, 311 p.ill.20 cmLecture notes in computer science20572001Lecture notes in computer science2057SoftwareCongressi2001Elaboratori elettroniciProgrammazioneCongressi2001005.1Dwyer,MatthewInternational SPIN workshop <8. ; 2001 ; Toronto, Canada>552619ITACBSISBD990000957470203316001 LNCS (2057)0026430 CBS00100104796BKSCIALANDI9020020212USA01160720020403USA011738PATRY9020040406USA011706Model checking software973452UNISA