@phdthesis{Mohammed2010, author = {Ammar Mohammed}, title = {Hybrid multi-agent systems: modeling, specification and verification}, type = {doctoralthesis}, pages = {ix, 157}, school = {Universit{\"a}t Koblenz-Landau, Campus Koblenz, Universit{\"a}tsbibliothek}, year = {2010}, }