01515nam2-2200421li-450 99000020654020331620180312154902.03-540-61478-80020654USA010020654(ALEPH)000020654USA01002065420001109d1996----km-y0itay0103----baengGWComputer aided systems theory-CAST'944th international workshop Ottawa,Ontario, Canada, May 16-20, 1994 selected papersTuncer I. Oren ... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1996IX, 437ill.23 cmLecture notes in computer science110500100202642001Lecture notes in computer sciencecongressiottawa1994progettazione assistita da elaboratorecongressi1994sistemiteoriecongressi1994620004Ingegneria (Concetti generali)Oren,Tuncer I.Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206540203316001 LNCS (1105)001921300100103883BKSCI1997012920001110USA011714ALANDI9020010201USA011302ALANDI9020010201USA01130420020403USA011628PATRY9020040406USA011615Computer aided systems theory-CAST'941501960UNISA01300nam--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