01536nam2-2200433li-450 99000020433020331620180312154710.03-540-58179-00020433USA010020433(ALEPH)000020433USA01002043320001109d1994----km-y0itay0103----baengGWComputer aided verification6th International conference CAV'94Stanford, California, Usa, June21-23, 1994proceedingsDavid L. Dill (ed.)Berlin [etc.]Springer-Verlagcopyr. 1994IX, 480 p.ill.24 cmLecture notes in computer science81800100202642001Lecture notes in computer sciencecongressistanford1994sistemi distribuiticongressi1994sistemimodelli matematicicongressi1994sistemiverificacongressi1994003SistemiDill,David L.International conference CAV'946.Stanford1994746762Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000204330203316001 LNCS (818)001634800100103133BKSCI1995021220001110USA011714ALANDI9020010130USA01150720020403USA011628PATRY9020040406USA011615Computer aided verification1490915UNISA