@inproceedings{conf/vveis/AyedS08,
	title = {An Approach for the Specification and the Verification of Multi-agent Systems Interaction Protocols using AUML and Event B.},
	author = {Leila Jemni Ben Ayed and Fatma Siala},
	booktitle = {MSVVEIS},
	crossref = {conf/vveis/2008},
	editor = {Ulrich Ultes-Nitsche and Daniel Moldt and Juan Carlos Augusto},
	pages = {190-198},
	publisher = {INSTICC PRESS},
	url = {http://dblp.uni-trier.de/db/conf/vveis/msvveis2008.html#AyedS08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f39f42800fac248354d71b0101d944bd/dblp},
	description = {dblp},
	isbn = {978-989-8111-43-2}, date = {2008-08-18},
	keywords = {dblp }
}