01459nam2-2200421li-450 99000021044020331620180312154846.03-540-60045-00021044USA010021044(ALEPH)000021044USA01002104420001109d1995----km-y0itay0103----baengGWComputer aided verification7th International conference, CAV '95Liège, Belgium, July 3-5, 1995proceedingsPierre Wolper (ed.)Berlin [etc.]Springer-Verlagcopyr. 1995X, 450 p.ill.25 cmLecture notes in computer science93900100202642001Lecture notes in computer sciencecongressiliege1995sistemi distribuiticongressi1995sistemiverificacongressi1995003SistemiWolper,PierreInternational conference CAV'957.Liege1995754278Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210440203316001 LNCS (939)002031000100103709BKSCI1997112420001110USA011714ALANDI9020010131USA01130820020403USA011629PATRY9020040406USA011615Computer aided verification1517653UNISA