Vol-3882⫷ Vol-3883 ⫸Vol-3884
urn:nbn:de:0074-3883-0


Vol-3883/paper3_SPIRIT_Bellomarini⫷Vol-3883/paper4_SPIRIT_Ferrando⫸Vol-3883/paper5_SPIRIT_DeGiacomo
Angelo Ferrando 0001Vadim Malvone

Towards a Compositional and User-friendly Tool for Multi-Agent Systems Verification (short paper)