Vol-3071⫷ Vol-3072 ⫸Vol-3073
urn:nbn:de:0074-3072-0


Vol-3072/paper24⫷Vol-3072/paper25⫸Vol-3072/paper26
Angelo Ferrando 0001Vadim Malvone

Combine Model Checking and Runtime Verification in Multi-Agent Systems