@misc{MohammedFurbach2010, author = {Ammar Mohammed and Ulrich Furbach}, title = {Multi-agent systems: modeling and verification using hybrid automata}, institution = {Fachbereich 4}, series = {Arbeitsberichte, FB Informatik}, number = {2009,10}, type = {periodicalpart}, pages = {20}, year = {2010}, }