01558nam2-2200445li-450 99000020295020331620180312154757.03-540-55179-40020295USA010020295(ALEPH)000020295USA01002029520001109d1992----km-y0itay0103----baengGWComputer aided verification3rd International workshop, CAV'91: Aalborg, Denmark, July 1-4, 1991: proceedingsK. G. Larsen, A. Skou (eds.)Berlin [etc.]Springer-Verlagcopyr. 1992X, 487 p.ill.25 cmLecture notes in computer science57500100202642001Lecture notes in computer sciencecongressiaalborg1991sistemi distribuiticongressi1991sistemimodelli matematicicongressi1991sistemiverificacongressi1991003SistemiLarsen,Kim G.Skou,ArneInternational workshopCAV'913.Aalborg1991753250Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000202950203316001 LNCS (575)001441400100102680BKSCI1994050120001110USA011714ALANDI9020010126USA01123420020403USA011628PATRY9020040406USA011615Computer aided verification1515186UNISA