%0 Thesis %1 phd/de/Mohammed2010 %A Ammar, Ammar Mohammed %D 2010 %K dblp %T Hybrid multi-agent systems: modeling, specification and verification.

@phdthesis{phd/de/Mohammed2010, added-at = {2021-07-17T00:00:00.000+0200}, author = {Ammar, Ammar Mohammed}, biburl = {https://www.bibsonomy.org/bibtex/2e947e9b817cc10609da14ddaf5c8b59c/dblp}, ee = {https://d-nb.info/1008134155}, interhash = {13e137eeae5943121dbc5542fb328e24}, intrahash = {e947e9b817cc10609da14ddaf5c8b59c}, keywords = {dblp}, school = {University of Koblenz-Landau}, timestamp = {2024-04-09T09:11:19.000+0200}, title = {Hybrid multi-agent systems: modeling, specification and verification.}, year = 2010 }