Vol-1293⫷ Vol-1294 ⫸Vol-1295
urn:nbn:de:0074-1294-0


Vol-1294/paper6⫷Vol-1294/paper7⫸Vol-1294/paper8
Ahmed T. DibZaïdi Sahnoun

Formal Specification of Multi-Agent System Architecture