@proceedings {3457,
	title = {Designing a mobile agent based M-maintenance: Formal modelling and simulation. . May, 11-13, Batna, Algeria},
	journal = {ICIEM{\textquoteright}14, International Conference on Industrial Engineering and Manufacturing},
	year = {2014},
	pages = {pp. 353-359},
	url = {http://www.univ-batna,.dz/iciem2014/index.html},
	author = {Abid Khadidja}
}
