|
|
| Titel | Hybrid multiagent systems with timed synchronization-specification and model checking [Elektronische Ressource] |
| Verantwortlich | Ulrich Furbach ... Universität Koblenz, Landau, Institut für Informatik, FB 4, Informatik |
| Herausgebendes Organ |
Universität Koblenz-Landau. Institut für Informatik
|
| Verfasser/in |
Furbach, Ulrich
|
| Publikationstyp | Buch |
|
Erschienen
|
2007
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. 14/2007 |
| Volltext |
urn:nbn:de:hbz:929:02-edoweb:30254928
|
