@proceedings {3447,
	title = {Formal Specification of a Mobile Agent Based Maintenance for Manufacturing Systems},
	journal = {VECoS  7th International Workshop on Verification and Evaluation of Computer and Communication Systems},
	year = {2013},
	url = {http://vecos.ensta-paristech.fr/2013/},
	author = {Zermane Hanane}
}
