01435nam2-2200409li-450 99000020731020331620180312154845.03-540-61474-50020731USA010020731(ALEPH)000020731USA01002073120001109d1996----km-y0itay0103----baengGWComputer aided verification8th International conference, CAV '96New Brunswich, NJ, USAJuly31 - August 3, 1996proceedingsRajeev Alur ... [et al] (eds.)Berlin [etc.]Springer-Verlag copyr 1996XII, 469 pill23 cmLecture notes in computer science110200100202642001Lecture notes in computer sciencecongressinew brunswick1996sistemi distribuiticongressi1996sistemiverificacongressi1996003SistemiAlur,RajeevInternational conference CAV'968.New Brunswick1996754224Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000207310203316001 LNCS (1102)0019210BKSCI1997012220001110USA01171420020403USA011628PATRY9020040406USA011615Computer aided verification1517597UNISA