Vol-1194⫷ Vol-1195 ⫸Vol-1196
urn:nbn:de:0074-1195-0


Vol-1195/long5⫷Vol-1195/long6⫸Vol-1195/long7
Marco MontaliGiuseppe De GiacomoDiego Calvanese

Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems