Aufgrund einer technischen Störung musste die Rheinland-Pfälzische Bibliographie in ihrer bisherigen Form abgeschaltet werden und auf eine neue Oberfläche umziehen. Bitte beachten Sie, dass es sich hierbei um eine Version handelt, in der noch nicht alle Funktionen umgesetzt sind. Wir sind bestrebt, dies fortlaufend zu verbessern.
Titeldetails:
TitelUsing Constraint Logic Programming for modeling and verifying hierarchical hybrid automata [Elektronische Ressource]
VerantwortlichAmmar Mohammed | Frieder Stolzenburg. Universität Koblenz, Landau, Institut für Informatik
Herausgebendes Organ Universität Koblenz-Landau / Institut für Informatik
Verfasser/in Mohammed, Ammar | Stolzenburg, Frieder
Publikationstyp Buch
Erschienen 2009
Koblenz
Institut für Informatik
Anmerkungenedoweb - Rheinland-pfälzischer Archivserver für elektronische Dokumente und Websites
Erschienen alsArbeitsberichte aus dem Fachbereich Informatik / Universität Koblenz, Landau, Band Nr. 6/2009
Volltext urn:nbn:de:hbz:929:02-edoweb:32347854