Login
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Rungger, Matthias; Zamani, Majid
- Titel:
- Compositional construction of approximate abstractions
- Kongress- / Buchtitel:
- Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
- Verlag / Institution:
- ACM Press
- Publikationsdatum:
- 01.01.2015
- Jahr:
- 2015
- Print-ISBN:
- 9781450334334
- Volltext / DOI:
- doi:10.1145/2728606.2728615
BibTeX