01456nam2-2200421li-450 99000020625020331620180312154739.03-540-63166-60020625USA010020625(ALEPH)000020625USA01002062520001109d1997----km-y0itay0103----baengGWComputer aided verification9th International conference, CAV'97Haifa, Israel, June 22-25, 1997proceedingsOrna Grumberg (ed.)BerlinSpringer-Verlagcopyr. 1997XI, 486 p.ill.23 cmLecture notes in computer science125400100202642001Lecture notes in computer sciencecongressihaifa1997sistemi distribuiticongressi1997sistemiverificacongressi1997003SistemiGrumberg,OrnaInternational conference CAV'979.Israele1997747239Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000206250203316001 LNCS (1254)002085700100104016BKSCI1997111620001110USA011714ALANDI9020010202USA01134220020403USA011628PATRY9020040406USA011615Computer aided verification1492543UNISA