01595nam2-2200457li-450 99000020384020331620180312154700.03-540-56496-90020384USA010020384(ALEPH)000020384USA01002038420001109d1993----km-y0itay0103----baengGWComputer aided verificationfourth International workshop CAV'92proceedingsG. v. Bochmann (ed.)Berlin [etc.]Springer-Verlagcopyr. 1993IX, 422 p.ill.24 cm.Lecture notes in computer science66300100202642001Lecture notes in computer sciencecongressimontreal1992sistemi distribuiticongressi1992sistemimodelli matematici -congressi- 1992sistemiverificacongressi1992003SistemiBochmann,Gregor vonInternational workshop CAV'924.Montreal1992746207Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203840203316001 LNCS 663001508600100102913BKSCI1994050120001110USA011714ALANDI9020010129USA011326PATTY9020010321USA011328PATTY9020010321USA01132820020403USA011628PATRY9020040406USA011615Computer aided verification1489193UNISA