01813nam0 22003733i 450 AQ1000716620251003044041.00387581790New York3540581790Berlin20090729d1994 ||||0itac50 baengdez01i xxxe z01nComputer aided verification6. international conference, CAV '94Stanford, California, USA, June 21-23, 1994proceedingsDavid L. Dill (ed.)Berlin [etc.]Springer-Verlagc1994IX, 480 p.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis818001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis818702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciValutazioneCongressi1994FIRNAPC242163I004.24015113Valutazione delle prestazioni. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniCongressiConvegniCongressiCongressi e convegniDill, David L.AQ1V003755International conference CAV '94 <6. ; 1994 ; Stanford>AQ1V003754070714633International Conference on Computer-Aided Verification <6. ; 1994 ; Stanford>NAPV111730International conference CAV '94 <6. ; 1994 ; Stanford>ITIT-00000020090729IT-BN0095 AQ10007166Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000023665 VMA (0818 v. 818Y 1996030119960301 01Computer aided verification1381972UNISANNIO