|
|
| Titel | Using Constraint Logic Programming for modeling and verifying hierarchical hybrid automata [Elektronische Ressource] |
| Verantwortlich | Ammar 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
|
| 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. 6/2009 |
| Volltext |
urn:nbn:de:hbz:929:02-edoweb:32347854
|
Die RPB enthält aktuell 564045 Literaturnachweise