Details
- Autor(en) / Beteiligte
- Titel
- Verification and control of hybrid systems : a symbolic approach
- Ort / Verlag
- Berlin : Springer
- Erscheinungsjahr
- 2009
- Link zu anderen Inhalten
- Beschreibungen/Notizen
- Teilw. als Printed-on-demand-Ausgabe mit neuerem Erscheinungsjahr