@mastersthesis {9852,
	title = {Hybrid Multi-agent Systems: Modeling, Specication and Verication},
	year = {2010},
	school = {Kobleny-Landau},
	type = {PhD thesis},
	address = {Koblenz, Germany},
	author = {Ammar Mohammed},
	editor = {Ulrich Furbach}
}
