Login
- Title:
Compositional construction of approximate abstractions
- Author(s):
- Rungger, M.; Zamani, M.
- Book / Congress title:
- Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
- Publisher:
- ACM
- Year:
- 2015
- Pages:
- 68--77
BibTeX