zeineb graja, Frédéric Migeon, Christine Maurel, Marie Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem. Event-B. In Béatrice Duval, H. Jaap van den Herik, Stéphane Loiseau, Joaquim Filipe, editors, ICAART 2014 - Proceedings of the 6th International Conference on Agents and Artificial Intelligence, Volume 2, ESEO, Angers, Loire Valley, France, 6-8 March, 2014. pages 229-236, SciTePress, 2014. [doi]
Abstract is missing.