01479nam2-2200409li-450 99000020535020331620180312154842.03-540-62503-80020535USA010020535(ALEPH)000020535USA01002053520001109d1997----km-y0itay0103----baengGWAnalysis and verification of multiple-agent languages5th LOMAPS workshopStockholm, Sweden, June 24-26, 1996selected papersMads Dam (ed.)Berlin [etc.]Springer-Verlagcopyr. 1997VIII, 434 p.ill.23 cmLecture notes in computer science119200100202642001Lecture notes in computer sciencecongressistoccolma1996linguaggi di programmazionecongressi1996softwaresviluppocongressi19960051Programmazione. Tecnica di sviluppo dei programmiDam,MadsSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000205350203316001 LNCS (1192)001989100100103962BKSCI1997032920001110USA011714ALANDI9020010201USA01165220020403USA011628PATRY9020040406USA011615Analysis and verification of multiple-agent languages1501950UNISA