@proceedings {3461,
	title = {Formal Specification of a Mobile Agent Based Maintenance for Manufacturing System},
	journal = {ISIA International Symposium on Informatics and its Applications},
	year = {2014},
	author = {Abid Khadidja}
}
