@article {9855,
	title = {Multi-agent Systems:Modeling and verification Using Hybrid Automata},
	year = {2009},
	month = {October 2009},
	pages = {1-24},
	institution = { Arbeitsberichte aus dem Fachbereich Informatik, Universit{\"a}t Koblenz-Landau},
	address = {Kobleny, Geramny},
	issn = {10/2009},
	url = {http://www.uni-koblenz.de/~fb4reports/2009/2009_10_Arbeitsberichte.pdf},
	author = {Ammar Mohammed and Ulrich Furbach}
}
