01300nam--2200373---450 99000111208020331620180312154802.03-540-43477-1000111208USA01000111208(ALEPH)000111208USA0100011120820021206d2002----km-y0ITAy0103-------baENGDEModel checking software9th International SPIN workshopGrenoble, France, April 11-13, 2002proceedingsDragan Bosnacki...<et al.>(eds.)Berlin [etc.]Springer-Verlagcopyr. 2002X, 257 p.ill.20 cmLecture notes in computer science23182001Lecture notes in computer science2318SoftwareCongressi2002Elaboratori elettroniciProgrammazioneCongressi2002005.1Bosnacki,DraganInternational SPIN workshop <9. ; 2002 ; Grenable , France >554432ITACBSISBD990001112080203316001 LNCS (2318)0026829 CBS00100112086BKSCIDIGIUSEPPE9020021206USA010946PATRY9020040406USA011717Model checking software981318UNISA