Login
- Titel:
Compositional construction of approximate abstractions
- Autor(en):
- Rungger, M.; Zamani, M.
- Kongress- / Buchtitel:
- Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
- Verlag / Institution:
- ACM
- Jahr:
- 2015
- Seiten:
- 68--77
BibTeX