A Formal Framework for Multi-Agent Systems Analysis and Design.

Pablo Gruer, Vincent Hilaire, Abder Koukam, Krzysztof Cetnarowicz

Browse the full SEKE paper archive.