Graph automata and their application to the verification of dynamic systems
Zugl.: Duisburg-Essen, Univ., Diss., 2014
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
München
Dr. Hut
2014
|
| Schlagworte: | |
| Online Zugang: | Inhaltstext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Zugl.: Duisburg-Essen, Univ., Diss., 2014 |
|---|---|
| Beschreibung: | Literaturverz. S. [221] - 230 |
| Beschreibung: | XI, 239 S graph. Darst 240 mm x 170 mm, 628 g |
| ISBN: | 3843918813 3-8439-1881-3 9783843918817 978-3-8439-1881-7 |