@InProceedings{GrajaICAART2014,
author = {Zeineb Graja and Frédéric Migeon and Christine Maurel and Marie-Pierre Gleizes and Linas Laibinis and Amira Regayeg and Ahmed Hadj Kacem},
title = {A Pattern based Modelling for Self-Organizing Multi-Agent Systems with Event-B},
booktitle = {Proceedings of the 6 th International Conference on Agents and Artificial Intelligence (ICAART)},
year = {2014},
LOcation = {Angers, France},
publisher = {INSTICC - Institute for Systems and Technologies of Information, Control and Communication},
pages = {229--236},
keywords = {MAS, Formal}
}