Titel | Multi-agent systems [Elektronische Ressource] : modeling and verification using Hybrid Automata |
Verantwortlich | Ammar Mohammed | Ulrich Furbach. Universität Koblenz, Landau, Institut für Informatik |
Herausgebendes Organ | Universität Koblenz-Landau / Institut für Informatik |
Verfasser/in | Mohammed, Ammar | Furbach, Ulrich / 1948- |
Publikationstyp | Buch |
Erschienen |
2009
Koblenz Inst. für Informatik |
Anmerkungen | edoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites |
Erschienen als | Arbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau, Band Nr. 10/2009 |
Volltext | urn:nbn:de:hbz:929:02-edoweb:32348014 |