02106nam0 22003373i 450 UBO111418420241129062714.00387569227354056922720090729d1993 ||||0itac50 baengdez01i xxxe z01nComputer aided verification5. International Conference, CAV '93 Elounda, Greece, June 28 - July 1, 1993proceedingsCostas Courcoubetis (ed.)Berlin [etc.]Springer- Verlagc1993IX, 504 p.ill.24 cm.Lecture notes in computer scienceedited by G. Goos and J. Hartmanis697001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis697702 1Goos, GerhardAQ1V006441340Elaboratori elettroniciValutazioneCongressi1993FIRNAPC242155I004.24015113Valutazione delle prestazioni. Logica matematica (Logica simbolica)22Courcoubetis, CostasUBOV425999International Conference CAV 93 <5. ; 1993 ; Elounda>UBOV425997070714741International Conference on Computer-Aided Verification <5. ; 1993 ; Elounda>NAPV111726International Conference CAV 93 <5. ; 1993 ; Elounda> ITIT-NA007920090729IT-BN0095 UBO1114184Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000013195 B (0697 v. 6973 1994090919940909 01Computer aided verification1382095UNISANNIO