01351nam--2200397---450-99000241159020331620050411184244.03-540-21314-7000241159USA01000241159(ALEPH)000241159USA0100024115920050407d2004----km-y0itaa50------baengDEa---z---101yyModel Checking software11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004proceedingsSusanne Graf, Laurent Mounier (Eds.)BerlinSpringercopyr. 2004X,307 p.ill.24 cmLecture notes in computer Science29892001Lecture notes in computer Science2989Elaboratori elettroniciProgrammazioneCongressi2004SPINCongressi2004005.2GRAF,SusanneMOUNIER,LaurentInternational SPIN Workshop<11.;2004;Barcelona>.572571990002411590203316001 LNCS/29890031237 CBS00100114845BKSCIANGELA9020050407USA011515ANGELA9020050411USA011840ANGELA9020050411USA011842Model Checking software1066291UNISA