Login
- Document type:
- Konferenzbeitrag
- Author(s):
- Rungger, Matthias; Zamani, Majid
- Title:
- Compositional construction of approximate abstractions
- Book / Congress title:
- Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15
- Publisher:
- ACM Press
- Date of publication:
- 01.01.2015
- Year:
- 2015
- Print-ISBN:
- 9781450334334
- Fulltext / DOI:
- doi:10.1145/2728606.2728615
BibTeX